benton92

Nick Benton, Gavin Bierman, Valeria de Paiva, Martin Hyland. Term Assignment for Intuitionistic Linear Logic. Research Report Computer Laboratory, University of Cambridge, No 262, August 1992.

Keyword

[ Typetheory ]

Contact

N. Benton
Gavin Bierman
Valeria de Paiva
Martin Hyland

BibTex Reference

@TechReport{benton92,
   Author = {Benton, Nick and Bierman, Gavin and de Paiva, Valeria and Hyland, Martin},
   Title = {Term Assignment for Intuitionistic Linear Logic},
   Number = {262},
   Institution = {Computer Laboratory, University of Cambridge},
   Month = {August},
   Year = {1992}
}

EndNote Reference [help]

Get EndNote Reference (.ref)