gran98

Gordon Gran. A Type-Theoretic Approach to Conditional Types. Master's theses DIKU, University of Copenhagen, Universitetsparken 1, DK-2100 Copenhagen, Denmark, August 1998.

Keyword

[ Dyntyp ]

Contact

Gordon Gran

BibTex Reference

@MasterThesis{gran98,
   Author = {Gran, Gordon},
   Title = {A Type-Theoretic Approach to Conditional Types},
   School = {DIKU, University of Copenhagen},
   Address = {Universitetsparken 1, DK-2100 Copenhagen, Denmark},
   Month = {August},
   Year = {1998}
}

EndNote Reference [help]

Get EndNote Reference (.ref)