Andrew Polonsky

Available identifiers

zbMath Open polonsky.andrewMaRDI QIDQ2200832

List of research outcomes

Publication	Date of Publication	Type
Higher-kinded data types. Syntax and semantics	2024-12-19	Paper
On sets of terms having a given intersection type	2022-10-06	Paper
Uniqueness typing for intersection types	2021-05-05	Paper
Deep induction: induction rules for (truly) nested types	2020-09-23	Paper
https://portal.mardi4nfdi.de/entity/Q3300788	2020-07-30	Paper
https://portal.mardi4nfdi.de/entity/Q5111316	2020-05-26	Paper
Local presentability of certain comma categories	2020-03-05	Paper
The fixed point property and a technique to harness double fixed point combinators	2020-02-03	Paper
https://portal.mardi4nfdi.de/entity/Q5224689	2019-07-24	Paper
https://portal.mardi4nfdi.de/entity/Q4625694	2019-02-25	Paper
On local presentability of T/A	2018-07-06	Paper
https://portal.mardi4nfdi.de/entity/Q4600775	2018-01-12	Paper
New Results on Morris's Observational Theory: The Benefits of Separating the Inseparable.	2017-10-17	Paper
Extensionality of lambda	2017-07-12	Paper
https://portal.mardi4nfdi.de/entity/Q5277876	2017-07-12	Paper
Clocked lambda calculus	2017-06-14	Paper
https://portal.mardi4nfdi.de/entity/Q2957694	2017-01-27	Paper
Discriminating Lambda-Terms Using Clocked Boehm Trees	2014-06-10	Paper
An Ontology of States	2014-04-16	Paper
Clocks for Functional Programs	2014-04-16	Paper
The range property fails for H	2013-01-07	Paper
Axiomatizing the quote	2012-09-18	Paper

Research outcomes over time

This page was built for person: Andrew Polonsky