Andrew Polonsky

发表

Andrew Polonsky, Patricia Johann, 2020, Appl. Categorical Struct..
Hendrik Pieter Barendregt, Andrew Polonsky, 2013, The Beauty of Functional Code.
Andrew Polonsky, 2014, TYPES.
Andrew Polonsky, 2018, ArXiv.
Jan Willem Klop, Andrew Polonsky, Jörg Endrullis, 2014, ArXiv.
Jan Willem Klop, Andrew Polonsky, Jörg Endrullis, 2014, Log. Methods Comput. Sci..
Patricia Johann, Andrew Polonsky, 2020, FoSSaCS.
Alexandra Silva, Helle Hvid Hansen, Andrew Polonsky, 2013, ArXiv.
Andrew Polonsky, 2011, CSL.
Giulio Manzonetto, Flavien Breuvart, Andrew Polonsky, 2016, FSCD.
Giulio Manzonetto, Benedetto Intrigila, Andrew Polonsky, 2018, Log. Methods Comput. Sci..
Alexandra Silva, Helle Hvid Hansen, Andrew Polonsky, 2013 .
Giulio Manzonetto, Benedetto Intrigila, Andrew Polonsky, 2017, FSCD.
Andrew Polonsky, A. Polonsky, 2014, ArXiv.
Andrew Polonsky, Jörg Endrullis, 2011, TYPES.
Jan Willem Klop, Andrew Polonsky, Jörg Endrullis, 2015, Mathematical Structures in Computer Science.
Alexandra Silva, Helle Hvid Hansen, Andrew Polonsky, 2017, Log. Methods Comput. Sci..
Alexandra Silva, Helle Hvid Hansen, Andrew Polonsky, 2015, RTA.
Jan Willem Klop, Andrew Polonsky, Jörg Endrullis, 2013, The Beauty of Functional Code.
Giulio Manzonetto, Jakob Grue Simonsen, Alexis Saurin, 2019, J. Log. Comput..
Andrew Polonsky, Patricia Johann, 2019, 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
Andrew Polonsky, Tresa Pollock, Alessandro Mottura, 2020, Microscopy and Microanalysis.
Andrew Polonsky, 2012, J. Symb. Log..
Patricia Johann, Andrew Polonsky, 2018, ArXiv.
Richard Statman, Andrew Polonsky, R. Statman, 2021, ArXiv.