Geometry of Interaction 1: Interpretation of System F

Studies in Logic and the Foundations of Mathematics

Volumn 127, Issue C, 1989, Pages 221-260

  Girard, Jean Yves ^a  

^a CNRS   (France)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 22244435096     PISSN: 0049237X     EISSN: None     Source Type: Book Series    
DOI: 10.1016/S0049-237X(08)70271-4     Document Type: Article

References (7)

1. Cuntz, J., Simple C*-algebras generated by isometries. Comm. Math. Phys. 57 (1977), 173–185.
2. Girard, J.Y., Fenstad, (eds.) Une extension de ['interpretation de Gbdel a Vanalyse et son application àI'elimination des coupures dans l'analyse et la theorie des types, 1971, North-Holland, 63–92 Proc. 2nd Scand. Log. Symp.
3. Girard, J.Y., Linear Logic. Theor. Comp. Sc. 50 (1987), 1–102.
4. Girard, J.Y., Multiplicative*, to appear in Rendic, 1988, Semin. Univ. Polit. Torino.
5. Girard, J. Y. Quantifiers in linear logic, to appear in the proceedings of the Congress SILFS, held in Cesena, January 1987.
6. Girard, J. Y. Towards a geometry of interaction, to appear in AMS volume dedicated to the congress “category theory and computer science”, held in Boulder, June 1987.
7. Kelly, G.M., On Mac Lane's conditions for coherence of natural associativities. Jour. Algebra 1 (1964), 397–402.