The following pages link to Andrew Polonsky (Q2200832):
Displaying 12 items.
- Deep induction: induction rules for (truly) nested types (Q2200833) (← links)
- Local presentability of certain comma categories (Q2303778) (← links)
- Axiomatizing the Quote (Q2915703) (← links)
- (Q2957694) (← links)
- (Q3300788) (← links)
- The range property fails for H (Q4899168) (← links)
- On sets of terms having a given intersection type (Q5043597) (← links)
- (Q5111316) (← links)
- The fixed point property and a technique to harness double fixed point combinators (Q5213397) (← links)
- (Q5277876) (← links)
- Extensionality of lambda (Q5277979) (← links)
- New Results on Morris's Observational Theory: The Benefits of Separating the Inseparable. (Q5369480) (← links)
