default search action
Andrew Polonsky
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [i10]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 abs/2404.16882 (2024) - 2022
- [j9]Andrew Polonsky, Richard Statman:
On sets of terms having a given intersection type. Log. Methods Comput. Sci. 18(3) (2022) - 2020
- [j8]Andrew Polonsky, Patricia Johann
:
Local Presentability of Certain Comma Categories. Appl. Categorical Struct. 28(1): 135-142 (2020) - [j7]Andrew Polonsky:
Fixed point combinators as fixed points of higher-order fixed point generators. Log. Methods Comput. Sci. 16(3) (2020) - [c10]Patricia Johann, Andrew Polonsky:
Deep Induction: Induction Rules for (Truly) Nested Types. FoSSaCS 2020: 339-358
2010 – 2019
- 2019
- [j6]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) - [j5]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): 831-880 (2019) - [c9]Patricia Johann, Andrew Polonsky:
Higher-Kinded Data Types: Syntax and Semantics. LICS 2019: 1-13 - 2018
- [j4]Jörg Endrullis
Coinductive Foundations of Infinitary Rewriting and Infinitary Equational Logic. Log. Methods Comput. Sci. 14(1) (2018) - [i9]Benedetto Intrigila, Giulio Manzonetto, Andrew Polonsky:
Degrees of extensionality in the theory of Böhm trees and Sallé's conjecture. CoRR abs/1802.07320 (2018) - [i8]Patricia Johann, Andrew Polonsky:
On local presentability of T/A. CoRR abs/1807.05263 (2018) - [i7]Andrew Polonsky:
On (weak) fpc generators. CoRR abs/1810.02239 (2018) - 2017
- [j3]Jörg Endrullis
Clocked lambda calculus. Math. Struct. Comput. Sci. 27(5): 782-806 (2017) - [c8]Benedetto Intrigila, Giulio Manzonetto
Refutation of Sallé's Longstanding Conjecture. FSCD 2017: 20:1-20:18 - [i6]Jörg Endrullis, Helle Hvid Hansen, Dimitri Hendriks, Andrew Polonsky, Alexandra Silva:
Coinductive Foundations of Infinitary Rewriting and Infinitary Equational Logic. CoRR abs/1706.00677 (2017) - 2016
- [c7]Flavien Breuvart, Giulio Manzonetto, Andrew Polonsky, Domenico Ruoppolo:
New Results on Morris's Observational Theory: The Benefits of Separating the Inseparable. FSCD 2016: 15:1-15:18 - 2015
- [c6]Jörg Endrullis
A Coinductive Framework for Infinitary Rewriting and Equational Reasoning. RTA 2015: 143-159 - [i5]Jörg Endrullis, Helle Hvid Hansen, Dimitri Hendriks, Andrew Polonsky, Alexandra Silva:
A Coinductive Framework for Infinitary Rewriting and Equational Reasoning (Extended Version). CoRR abs/1505.01128 (2015) - 2014
- [j2]Jörg Endrullis
Discriminating Lambda-Terms Using Clocked Boehm Trees. Log. Methods Comput. Sci. 10(2) (2014) - [c5]Andrew Polonsky:
Extensionality of lambda-*. TYPES 2014: 221-250 - [i4]Andrew Polonsky:
Extensionality of lambda-. CoRR abs/1401.1139 (2014) - [i3]Andrew Polonsky:
Internalization of extensional equality. CoRR abs/1401.1148 (2014) - [i2]Jörg Endrullis, Dimitri Hendriks, Jan Willem Klop, Andrew Polonsky:
An Introduction to the Clocked Lambda Calculus. CoRR abs/1405.7500 (2014) - 2013
- [c4]Andrew Polonsky, Henk Barendregt:
An Ontology of States. The Beauty of Functional Code 2013: 18-26 - [c3]Jörg Endrullis
Clocks for Functional Programs. The Beauty of Functional Code 2013: 97-126 - [i1]Jörg Endrullis, Helle Hvid Hansen, Dimitri Hendriks, Andrew Polonsky, Alexandra Silva:
A Coinductive Treatment of Infinitary Rewriting. CoRR abs/1306.6224 (2013) - 2012
- [j1]Andrew Polonsky:
The range property fails for H. J. Symb. Log. 77(4): 1195-1210 (2012) - 2011
- [c2]Andrew Polonsky:
Axiomatizing the Quote. CSL 2011: 458-469 - [c1]Jörg Endrullis
Infinitary Rewriting Coinductively. TYPES 2011: 16-27
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-06-04 20:38 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: