The following pages link to (Q4198724):
Displayed 11 items.
- Principal type schemes for an extended type theory (Q790801) (← links)
- Calculi, types and applications: essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi della Rocca (Q930863) (← links)
- A typed lambda calculus with intersection types (Q930870) (← links)
- Type theories, normal forms, and \(D_{\infty}\)-lambda-models (Q1102936) (← links)
- The Essence of Dependent Object Types (Q3188291) (← links)
- (Q3890661) (← links)
- (Q3910511) (← links)
- (Q4625694) (← links)
- (Q5089030) (← links)
- (Q5090978) (← links)
- (Q5111316) (← links)