rehof95

Jakob Rehof. Polymorphic Dynamic Typing - Aspects of Proof Theory and Inference. Master's theses DIKU, University of Copenhagen, March 1995.

Keywords

[ Dyntyp ] [ Parametricity ]

Contact

Jakob Rehof

BibTex Reference

@MasterThesis{rehof95,
   Author = {Rehof, Jakob},
   Title = {Polymorphic Dynamic Typing - Aspects of Proof Theory and Inference},
   School = {DIKU, University of Copenhagen},
   Month = {March},
   Year = {1995}
}

EndNote Reference [help]

Get EndNote Reference (.ref)