Andrew Polonsky

MaRDI QIDQ2200832zbMATH OpenORCIDFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

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 Logical Methods in Computer Science	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
scientific article; zbMATH DE number 7226002 (Why is no real title available?) (available as arXiv preprint)	2020-07-30	Paper
scientific article; zbMATH DE number 7226002 (Why is no real title available?)	2020-07-30	Paper
scientific article; zbMATH DE number 7204439 (Why is no real title available?)	2020-05-26	Paper
Local presentability of certain comma categories Applied Categorical Structures	2020-03-05	Paper
The fixed point property and a technique to harness double fixed point combinators Journal Of Logic And Computation	2020-02-03	Paper
scientific article; zbMATH DE number 7084951 (Why is no real title available?)	2019-07-24	Paper
Degrees of extensionality in the theory of Böhm trees and Sallé's conjecture (available as arXiv preprint)	2019-02-25	Paper
On local presentability of T/A	2018-07-06	Paper
Coinductive foundations of infinitary rewriting and infinitary equational logic (available as arXiv preprint)	2018-01-12	Paper
New results on Morris's observational theory: the benefits of separating the inseparable	2017-10-17	Paper
Extensionality of \(\lambda^*\) (available as arXiv preprint)	2017-07-12	Paper
A coinductive framework for infinitary rewriting and equational reasoning	2017-07-12	Paper
Clocked lambda calculus Mathematical Structures in Computer Science	2017-06-14	Paper
scientific article; zbMATH DE number 6678680 (Why is no real title available?)	2017-01-27	Paper
Discriminating lambda-terms using clocked Böhm trees Logical Methods in Computer Science	2014-06-10	Paper
An Ontology of States Lecture Notes in Computer Science	2014-04-16	Paper
Clocks for Functional Programs Lecture Notes in Computer Science	2014-04-16	Paper
The range property fails for H Journal of Symbolic Logic	2013-01-07	Paper
Axiomatizing the quote	2012-09-18	Paper

Research outcomes over time

This page was built for person: Andrew Polonsky