The following pages link to The geometry of types (Q2931793):
Displayed 8 items.
- Combining linear logic and size types for implicit complexity (Q1989323) (← links)
- Implicit computational complexity of subrecursive definitions and applications to cryptographic proofs (Q2331068) (← links)
- Linear dependent types in a call-by-value scenario (Q2441513) (← links)
- (Q5079730) (← links)
- lambda!-calculus, Intersection Types, and Involutions (Q5089015) (← links)
- (Q5111324) (← links)
- Tight typings and split bounds, fully developed (Q5120229) (← links)
- Implicit computation complexity in higher-order programming languages (Q5875893) (← links)