Edit Profile (opens in new tab) Polonsky, Andrew Co-Author Distance Author ID: polonsky.andrew Published as: Polonsky, Andrew Homepage: https://compsci.appstate.edu/faculty-staff/dr-andrew-polonsky External Links: ORCID · ResearchGate · dblp Documents Indexed: 19 Publications since 2011 1 Further Contribution Co-Authors: 14 Co-Authors with 15 Joint Publications 325 Co-Co-Authors all top 5 Co-Authors 4 single-authored 7 Endrullis, Jörg 5 Hendriks, Dimitri 4 Klop, Jan Willem 4 Manzonetto, Giulio 2 Hansen, Helle Hvid 2 Intrigila, Benedetto 2 Johann, Patricia 2 Silva, Alexandra 1 Aczel, Peter 1 Ahrens, Benedikt 1 Altenkirch, Thorsten 1 Angiuli, Carlo 1 Avigad, Jeremy 1 Awodey, Steve 1 Barendregt, Hendrik Pieter 1 Barras, Bruno 1 Bauer, Andrej 1 Bertot, Yves 1 Bezem, Marc 1 Bordg, Anthony 1 Breuvart, Flavien 1 Brunerie, Guillaume 1 Cohen, Cyril 1 Constable, Robert Lee 1 Coquand, Thierry 1 Curien, Pierre-Louis 1 Dybjer, Peter 1 Finster, Eric 1 Gambino, Nicola 1 Garner, Richard 1 Gonthier, Georges 1 Grayson, Daniel Richard 1 Hales, Thomas Callister 1 Harper, Robert 1 Herbelin, Hugo 1 Hofmann, Martin 1 Hofstra, Pieter J. W. 1 Hötzel Escardó, Martín 1 Hou (Favonia), Kuen-Bang 1 Joyal, André 1 Kapulkin, Krzysztof 1 Kock, Joachim 1 Kraus, Nicolai 1 Li, Nuo 1 Licata, Dan 1 Lumsdaine, Peter LeFanu 1 Luo, Zhaohui 1 Mahboubi, Assia 1 Martin-Löf, Per 1 Melikhov, Sergey Aleksandrovich 1 Nahas, Michael 1 Palmgren, Erik 1 Pelayo, Alvaro 1 Riehl, Emily 1 Rijke, Egbert 1 Ruoppolo, Domenico 1 Saurin, Alexis 1 Scott, Dana Stewart 1 Scott, Philip J. 1 Shulman, Michael A. 1 Simonsen, Jakob Grue 1 Sojakova, Kristina 1 Solov’ëv, Sergeĭ Vladimirovich 1 Sozeau, Matthieu 1 Spitters, Bas 1 Statman, Richard 1 1 Van den Berg, Benno 1 Voevodskiĭ, Vladimir Aleksandrovich 1 Warren, Michael Alton 1 Zeilberger, Noam Serials 5 Logical Methods in Computer Science 1 The Journal of Symbolic Logic 1 Journal of Logic and Computation 1 MSCS. Mathematical Structures in Computer Science 1 Applied Categorical Structures Fields 16 Mathematical logic and foundations (03-XX) 10 Computer science (68-XX) 2 Category theory; homological algebra (18-XX) 1 General algebraic systems (08-XX) 1 Algebraic topology (55-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 13 Publications have been cited 37 times in 24 Documents Cited by ▼ Year ▼ Homotopy type theory. Univalent foundations of mathematics. Zbl 1298.03002The Univalent Foundations Program 128 2013 A coinductive framework for infinitary rewriting and equational reasoning. Zbl 1366.68114Endrullis, Jörg; Hansen, Helle Hvid; Hendriks, Dimitri; Polonsky, Andrew; Silva, Alexandra 9 2015 Infinitary rewriting coinductively. Zbl 1354.03008Endrullis, Jörg; Polonsky, Andrew 6 2013 Axiomatizing the quote. Zbl 1247.03022Polonsky, Andrew 5 2011 New results on Morris’s observational theory: the benefits of separating the inseparable. Zbl 1387.03011Breuvart, Flavien; Manzonetto, Giulio; Polonsky, Andrew; Ruoppolo, Domenico 3 2016 Coinductive foundations of infinitary rewriting and infinitary equational logic. Zbl 1459.68089Endrullis, Jörg; Hansen, Helle Hvid; Hendriks, Dimitri; Polonsky, Andrew; Silva, Alexandra 3 2018 Discriminating lambda-terms using clocked Böhm trees. Zbl 1315.03025Endrullis, Joerg; Hendriks, Dimitri; Klop, Jan Willem; Polonsky, Andrew 3 2014 Extensionality of \(\lambda^*\). Zbl 1434.03058Polonsky, Andrew 2 2015 Deep induction: induction rules for (truly) nested types. Zbl 07250946Johann, Patricia; Polonsky, Andrew 2 2020 The range property fails for H. Zbl 1294.03017Polonsky, Andrew 1 2012 Degrees of extensionality in the theory of Böhm trees and Sallé’s conjecture. Zbl 1515.03066Intrigila, Benedetto; Manzonetto, Giulio; Polonsky, Andrew 1 2019 Clocked lambda calculus. Zbl 1387.03013Endrullis, Jörg; Hendriks, Dimitri; Klop, Jan Willem; Polonsky, Andrew 1 2017 The fixed point property and a technique to harness double fixed point combinators. Zbl 1444.03019Manzonetto, Giulio; Polonsky, Andrew; Saurin, Alexis; Simonsen, Jakob Grue 1 2019 Deep induction: induction rules for (truly) nested types. Zbl 07250946Johann, Patricia; Polonsky, Andrew 2 2020 Degrees of extensionality in the theory of Böhm trees and Sallé’s conjecture. Zbl 1515.03066Intrigila, Benedetto; Manzonetto, Giulio; Polonsky, Andrew 1 2019 The fixed point property and a technique to harness double fixed point combinators. Zbl 1444.03019Manzonetto, Giulio; Polonsky, Andrew; Saurin, Alexis; Simonsen, Jakob Grue 1 2019 Coinductive foundations of infinitary rewriting and infinitary equational logic. Zbl 1459.68089Endrullis, Jörg; Hansen, Helle Hvid; Hendriks, Dimitri; Polonsky, Andrew; Silva, Alexandra 3 2018 Clocked lambda calculus. Zbl 1387.03013Endrullis, Jörg; Hendriks, Dimitri; Klop, Jan Willem; Polonsky, Andrew 1 2017 New results on Morris’s observational theory: the benefits of separating the inseparable. Zbl 1387.03011Breuvart, Flavien; Manzonetto, Giulio; Polonsky, Andrew; Ruoppolo, Domenico 3 2016 A coinductive framework for infinitary rewriting and equational reasoning. Zbl 1366.68114Endrullis, Jörg; Hansen, Helle Hvid; Hendriks, Dimitri; Polonsky, Andrew; Silva, Alexandra 9 2015 Extensionality of \(\lambda^*\). Zbl 1434.03058Polonsky, Andrew 2 2015 Discriminating lambda-terms using clocked Böhm trees. Zbl 1315.03025Endrullis, Joerg; Hendriks, Dimitri; Klop, Jan Willem; Polonsky, Andrew 3 2014 Homotopy type theory. Univalent foundations of mathematics. Zbl 1298.03002The Univalent Foundations Program 128 2013 Infinitary rewriting coinductively. Zbl 1354.03008Endrullis, Jörg; Polonsky, Andrew 6 2013 The range property fails for H. Zbl 1294.03017Polonsky, Andrew 1 2012 Axiomatizing the quote. Zbl 1247.03022Polonsky, Andrew 5 2011 all cited Publications top 5 cited Publications all top 5 Cited by 33 Authors 7 Polonsky, Andrew 5 Endrullis, Jörg 4 Intrigila, Benedetto 4 Klop, Jan Willem 3 Hendriks, Dimitri 3 Manzonetto, Giulio 3 Statman, Richard 2 Cohen, Liron 2 Czajka, Łukasz 2 de Vrijer, Roel 2 Ghiorzi, Enrico 2 Johann, Patricia 2 Lombardi, Carlos 2 Ríos, Alejandro 1 Altenkirch, Thorsten 1 Bakhshi, Rena 1 Basold, Henning 1 Breuvart, Flavien 1 Cohen, Cyril 1 Coquand, Thierry 1 Farmer, William M. 1 Hansen, Helle Hvid 1 Huber, Simon 1 Jeffries, Daniel 1 Kaposi, Ambrus 1 Karhumaki, Juhani 1 Komendantskaya, Ekaterina 1 Mörtberg, Anders 1 Rowe, Reuben N. S. 1 Rozplokhas, Dmitry 1 Ruoppolo, Domenico 1 Saarela, Aleksi 1 Silva, Alexandra all top 5 Cited in 7 Serials 8 Logical Methods in Computer Science 2 MSCS. Mathematical Structures in Computer Science 1 Acta Informatica 1 Theoretical Computer Science 1 Information and Computation 1 Indagationes Mathematicae. New Series 1 Theory and Practice of Logic Programming Cited in 5 Fields 19 Mathematical logic and foundations (03-XX) 15 Computer science (68-XX) 2 Algebraic topology (55-XX) 1 General algebraic systems (08-XX) 1 Category theory; homological algebra (18-XX) Citations by Year