tu89

D. Turner. A New Formulation of Constructive Type Theory. Notes from IFIP WG 2.1, 1989.

Keyword

[ Typetheory ]

Contact

D.A. Turner

BibTex Reference

@Misc{tu89,
   Author = {Turner, D.},
   Title = {A New Formulation of Constructive Type Theory},
   Howpublished = {Notes from IFIP WG 2.1},
   Year = {1989}
}

EndNote Reference [help]

Get EndNote Reference (.ref)