The following pages link to Andrew Polonsky (Q2200832):
Displaying 20 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)
- (Q4600775) (← links)
- (Q4625694) (← 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)
- (Q5224689) (← links)
- Clocked lambda calculus (Q5269007) (← links)
- (Q5277876) (← links)
- Extensionality of lambda (Q5277979) (← links)
- New Results on Morris's Observational Theory: The Benefits of Separating the Inseparable. (Q5369480) (← links)
- An Ontology of States (Q5410449) (← links)
- Clocks for Functional Programs (Q5410452) (← links)
- Discriminating Lambda-Terms Using Clocked Boehm Trees (Q5419488) (← links)
- Higher-kinded data types. Syntax and semantics (Q6654468) (← links)