bjoerner92

Nikolaj Bj\orner. Minimal Typing Derivations. DIKU Student Report, July 1992.

Keyword

[ Parametricity ]

Contact

Nikolaj Bj\orner

BibTex Reference

@Misc{bjoerner92,
   Author = {Bj\orner, Nikolaj},
   Title = {Minimal Typing Derivations},
   Howpublished = {DIKU Student Report},
   Month = {July},
   Year = {1992}
}

EndNote Reference [help]

Get EndNote Reference (.ref)