Geometry of Interaction 1: Interpretation of System F
- 1 January 1989
- book chapter
- Published by Elsevier
- Vol. 127, 221-260
- https://doi.org/10.1016/s0049-237x(08)70271-4
Abstract
No abstract availableKeywords
This publication has 3 references indexed in Scilit:
- Linear logicTheoretical Computer Science, 1987
- SimpleC*-algebra generated by isometriesCommunications in Mathematical Physics, 1977
- On MacLane's conditions for coherence of natural associativities, commutativities, etc.Journal of Algebra, 1964