Andrew Polonsky

Identifiers

• name variant Andrew Polonsky 0.60 · backfill

Papers (7)

1. On local presentability of T/A math.CT · 2018 · author #2
2. Coinductive Foundations of Infinitary Rewriting and Infinitary Equational Logic cs.LO · 2017 · author #4
3. A Coinductive Framework for Infinitary Rewriting and Equational Reasoning (Extended Version) cs.LO · 2015 · author #4
4. An Introduction to the Clocked Lambda Calculus cs.LO · 2014 · author #4
5. Internalization of extensional equality cs.LO · 2014 · author #1
6. Extensionality of lambda-* cs.LO · 2014 · author #1
7. A Coinductive Treatment of Infinitary Rewriting cs.LO · 2013 · author #4

Mentions

• 1505.01128 #4 · backfill · confidence 0.70 Andrew Polonsky
• 1405.7500 #4 · backfill · confidence 0.70 Andrew Polonsky
• 1401.1148 #1 · backfill · confidence 0.70 Andrew Polonsky
• 1401.1139 #1 · backfill · confidence 0.70 Andrew Polonsky
• 1306.6224 #4 · backfill · confidence 0.70 Andrew Polonsky

Frequent Coauthors

• Dimitri Hendriks 4 shared papers
• Alexandra Silva 3 shared papers
• Helle Hvid Hansen 3 shared papers
• J\"org Endrullis 3 shared papers
• Jan Willem Klop 1 shared papers
• Joerg Endrullis 1 shared papers
• Patricia Johann 1 shared papers