Andrew Polonsky

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