girard89

J. Girard. Towards a Geometry of Interaction. In Categories in Computer Science and Logic, Contemporary Mathematics, Volume 92, Scedrov (eds.) Gray (ed.), Contemporary Mathematics, Volume 92, pp. 69-108, American Mathematical Society, 1989.

Keyword

[ Typetheory ]

Contact

J. Girard

BibTex Reference

@InCollection{girard89,
   Author = {Girard, J.},
   Title = {Towards a Geometry of Interaction},
   BookTitle = {Categories in Computer Science and Logic},
   editor = {Gray, Scedrov (eds.)},
   Pages = {69--108},
   Publisher = {American Mathematical Society},
   Year = {1989}
}

EndNote Reference [help]

Get EndNote Reference (.ref)