Surikuchi, A., Pezzelle, S., Fernández, R. (2023) GROOViST: A Metric for Grounding Objects in Visual Storytelling.

In Bouamor, H. Pino, J. Bali, K. (Eds.), The 2023 Conference on Empirical Methods in Natural Language Processing: EMNLP 2023 : Proceedings of the Conference : December 6-10, 2023 (pp 3331-3339). Association for Computational Linguistics.

Šuster, S., Titov, I., van Noord, G. (2016) Bilingual learning of multi-sense embeddings with discrete autoencoders.

In Knight, K. Nenkova, A. Rambow, O. (Eds.), NAACL HLT 2016 : The 2016 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies: Proceedings of the Conference : June 12-17, 2016, San Diego, California, USA (pp 1346-1356). The Association for Computational Linguistics.

Swan, A.W., Rathjen, Michael (2018) Lifschitz Realizability as a Topological Construction.

ArXiv e-prints

Working paper | https://arxiv.org/abs/1806.10047 | UvA-DARE

Swan, A.W., Uemura, T. (2019) On Church's Thesis in Cubical Assemblies.

ArXiv e-prints

Working paper | https://arxiv.org/abs/1905.03014 | UvA-DARE

Swan, A.W. (2018) On Dividing by Two in Constructive Mathematics.

ArXiv e-prints

Working paper | https://arxiv.org/abs/1804.04490 | UvA-DARE

Swan, A.W. (2018) W-Types with Reductions and the Small Object Argument.

ArXiv e-prints

Working paper | https://arxiv.org/abs/1802.07588 | UvA-DARE

Swan, A.W. (2018) Lifting Problems in Grothendieck Fibrations.

ArXiv e-prints

Working paper | https://arxiv.org/abs/1802.06718 | UvA-DARE

Swan, A.W. (2018) Some Brouwerian Counterexamples Regarding Nominal Sets in Constructive Set Theory.

ArXiv e-prints

Working paper | https://arxiv.org/abs/1702.01556 | UvA-DARE

Swan, A.W. (2018) Identity Types in Algebraic Model Structures and Cubical Sets.

ArXiv.

Preprint | https://doi.org/10.48550/arXiv.1808.00915 | UvA-DARE

Swan, A.W. (2018) Separating Path and Identity Types in Presheaf Models of Univalent Type Theory.

ArXiv e-prints

Working paper | https://arxiv.org/abs/1808.00920 | UvA-DARE

Sziráki, D., Väänänen, J. (2017) A dichotomy theorem for the generalized Baire space and elementary embeddability at uncountable cardinals.

Fundamenta Mathematicae, Vol. 238 (pp 53-78)

Article | https://doi.org/10.4064/fm130-9-2016 | UvA-DARE

Szmuc, D., Ferguson, T.M. (2021) Meaningless Divisions.

Notre Dame Journal of Formal Logic, Vol. 62 (pp 399-424)

Article | https://doi.org/10.1215/00294527-2021-0022 | UvA-DARE

Szymanik, J., Gierasimczuk, N. (2007) Hintikka's Thesis revisited.

The Bulletin of Symbolic Logic, Vol. 13 (pp 273-273)

Article | UvA-DARE

Szymanik, J., Meijering, B., Verbrugge, R. (2013) Using intrinsic complexity of turn-taking games to predict participants' reaction times.

In Knauff, M. Pauen, M. Sebanz, N. Wachsmuth, I. (Eds.), Cooperative Minds: Social Interaction and Group Dynamics: Proceedings of the 35th Annual Meeting of the Cognitive Science Society : Berlin, Germany, July 31-August 3, 2013 (pp 1426-1431). Cognitive Science Society.

Szymanik, J., Mostowski, M. (2007) Computational complexity of some Ramsey quantifiers in finite models.

The Bulletin of Symbolic Logic, Vol. 13 (pp 281-282)

Article | UvA-DARE

Szymanik, J., Steinert-Threlkeld, S., Zajenkowski, M., Icard, T.F. (2013) Automata and Complexity in Multiple-Quantifier Sentence Verification.

In West, R.L. Stewart, T.C. (Eds.), Proceedings of ICCM 2013: 12th International Conference on Cognitive Modeling (pp 239-244). Carleton University.

Szymanik, J., Thorne, C. (2017) Exploring the relation between semantic complexity and quantifier distribution in large corpora.

Language Sciences, Vol. 60 (pp 80–93)

Article | https://doi.org/10.1016/j.langsci.2017.01.006 | UvA-DARE

Szymanik, J., Verbrugge, R. (2013) Logic and Cognition: Special Issue of Best Papers of the ESSLLI 2012 Workshop.

Journal of Logic, Language and Information, Vol. 22 (pp 357-362)

Editorial | https://doi.org/10.1007/s10849-013-9186-4 | UvA-DARE

Szymanik, J., Verbrugge, R. (2014) Proceedings of the Second Workshop Reasoning About Other Minds: Logical and Cognitive Perspectives: co-located with Advances in Modal Logic 2014 ; Groningen, The Netherlands, August 4, 2014.

CEUR Workshop Proceedings, Vol. 1208. CEUR-WS.

Book (Editorship) | http://ceur-ws.org/Vol-1208/ | UvA-DARE

Szymanik, J., Verbrugge, R. (2019) Tractability and the computational mind.

In Sprevak, M. Colombo, M. (Eds.), The Routledge Handbook of the Computational Mind (pp 339-354) (Routledge Handbooks in Philosophy). Routledge.