Searching for "Geometry of Interaction and Linear Combinatory Algebras." – sorted by Relevance.
-
Geometry of Interaction and Linear Combinatory Algebras
- for Girard's Geometry of Interaction, based on the notion of linear combinatory algebra. We give a general
- Cited by 30 (11 self) – Add To MetaCart

