brandt97

Michael Brandt. Recursive Subtyping: Axiomatizations and Computational Interpretations. Master's theses DIKU, University of Copenhagen, Universitetsparken 1, DK-2100 Copenhagen, Denmark, April 1997.

Keywords

[ Rectype ] [ Coinduction ] [ Coinduction ]

Contact

Michael Brandt

BibTex Reference

@MasterThesis{brandt97,
   Author = {Brandt, Michael},
   Title = {Recursive Subtyping: Axiomatizations and Computational Interpretations},
   School = {DIKU, University of Copenhagen},
   Address = {Universitetsparken 1, DK-2100 Copenhagen, Denmark},
   Month = {April},
   Year = {1997}
}

EndNote Reference [help]

Get EndNote Reference (.ref)