girard91

Jean-Yves Girard. A New Constructive Logic: Classical Logic. Programme 2: Calcul Symbolique, Programmation et Génie logiciel INRIA, Rocquencourt, No 1443, June 1991.

Keyword

[ Typetheory ]

Contact

J. Girard

BibTex Reference

@TechReport{girard91,
   Author = {Girard, Jean-Yves},
   Title = {A New Constructive Logic: Classical Logic},
   Number = {1443},
   Institution = {INRIA, Rocquencourt},
   Address = {Domaine de Voluceau, Rocquencourt, B.P.\ 105, 78153 Le Chesnay Cedex, France},
   Month = {June},
   Year = {1991}
}

EndNote Reference [help]

Get EndNote Reference (.ref)