Andrew Polonsky

Publication Activity (10 Years)

Years Active: 2011-2024
Publications (10 Years): 19

Top Topics

Top Venues

Log. Methods Comput. Sci.

Publications

Peter Myung-Won Pak, Francis Ogoke, Andrew Polonsky, Anthony Garland, Dan S. Bolintineanu, Dan R. Moser, Michael J. Heiden, Amir Barati Farimani
ThermoPore: Predicting Part Porosity Based on Thermal Images Using Deep Learning. CoRR (2024)
Andrew Polonsky, Richard Statman
On sets of terms having a given intersection type. Log. Methods Comput. Sci. 18 (3) (2022)
Richard Statman, Andrew Polonsky
Uniqueness typing for intersection types. CoRR (2021)
Andrew Polonsky
Fixed point combinators as fixed points of higher-order fixed point generators. Log. Methods Comput. Sci. 16 (3) (2020)
Patricia Johann, Andrew Polonsky
Deep Induction: Induction Rules for (Truly) Nested Types. FoSSaCS (2020)
Andrew Polonsky, Patricia Johann
Local Presentability of Certain Comma Categories. Appl. Categorical Struct. 28 (1) (2020)
Giulio Manzonetto, Andrew Polonsky, Alexis Saurin, Jakob Grue Simonsen
The fixed point property and a technique to harness double fixed point combinators. J. Log. Comput. 29 (5) (2019)
Benedetto Intrigila, Giulio Manzonetto, Andrew Polonsky
Degrees of extensionality in the theory of Böhm trees and Sallé's conjecture. Log. Methods Comput. Sci. 15 (1) (2019)
Patricia Johann, Andrew Polonsky
Higher-Kinded Data Types: Syntax and Semantics. LICS (2019)
Benedetto Intrigila, Giulio Manzonetto, Andrew Polonsky
Degrees of extensionality in the theory of Böhm trees and Sallé's conjecture. CoRR (2018)
Jörg Endrullis, Helle Hvid Hansen, Dimitri Hendriks, Andrew Polonsky, Alexandra Silva
Coinductive Foundations of Infinitary Rewriting and Infinitary Equational Logic. Log. Methods Comput. Sci. 14 (1) (2018)
Andrew Polonsky
On (weak) fpc generators. CoRR (2018)
Patricia Johann, Andrew Polonsky
On local presentability of T/A. CoRR (2018)
Jörg Endrullis, Dimitri Hendriks, Jan Willem Klop, Andrew Polonsky
Clocked lambda calculus. Math. Struct. Comput. Sci. 27 (5) (2017)
Jörg Endrullis, Helle Hvid Hansen, Dimitri Hendriks, Andrew Polonsky, Alexandra Silva
Coinductive Foundations of Infinitary Rewriting and Infinitary Equational Logic. CoRR (2017)
Benedetto Intrigila, Giulio Manzonetto, Andrew Polonsky
Refutation of Sallé's Longstanding Conjecture. FSCD (2017)
Flavien Breuvart, Giulio Manzonetto, Andrew Polonsky, Domenico Ruoppolo
New Results on Morris's Observational Theory: The Benefits of Separating the Inseparable. FSCD (2016)
Jörg Endrullis, Helle Hvid Hansen, Dimitri Hendriks, Andrew Polonsky, Alexandra Silva
A Coinductive Framework for Infinitary Rewriting and Equational Reasoning. RTA (2015)
Jörg Endrullis, Helle Hvid Hansen, Dimitri Hendriks, Andrew Polonsky, Alexandra Silva
A Coinductive Framework for Infinitary Rewriting and Equational Reasoning (Extended Version). CoRR (2015)
Jörg Endrullis, Dimitri Hendriks, Jan Willem Klop, Andrew Polonsky
An Introduction to the Clocked Lambda Calculus. CoRR (2014)
Andrew Polonsky
Internalization of extensional equality. CoRR (2014)
Andrew Polonsky
Extensionality of lambda-*. TYPES (2014)
Jörg Endrullis, Dimitri Hendriks, Jan Willem Klop, Andrew Polonsky
Discriminating Lambda-Terms Using Clocked Boehm Trees Log. Methods Comput. Sci. 10 (2) (2014)
Andrew Polonsky
Extensionality of lambda-. CoRR (2014)
Jörg Endrullis, Helle Hvid Hansen, Dimitri Hendriks, Andrew Polonsky, Alexandra Silva
A Coinductive Treatment of Infinitary Rewriting. CoRR (2013)
Andrew Polonsky, Henk Barendregt
An Ontology of States. The Beauty of Functional Code (2013)
Jörg Endrullis, Dimitri Hendriks, Jan Willem Klop, Andrew Polonsky
Clocks for Functional Programs. The Beauty of Functional Code (2013)
Andrew Polonsky
The range property fails for H. J. Symb. Log. 77 (4) (2012)
Andrew Polonsky
Axiomatizing the Quote. CSL (2011)
Jörg Endrullis, Andrew Polonsky
Infinitary Rewriting Coinductively. TYPES (2011)