Paper: Kripke-Style models for typed lambda calculus (at LICS 1987)
Authors: John C. Mitchell Eugenio MoggiAbstract
No Abstract Available
BibTeX
@InProceedings{MitchellMoggi-KripkeStylemodelsfo, author = {John C. Mitchell and Eugenio Moggi}, title = {Kripke-Style models for typed lambda calculus}, booktitle = {Proceedings of the Second Annual IEEE Symp. on Logic in Computer Science, {LICS} 1987}, year = 1987, editor = {David Gries}, month = {June}, pages = {303--314}, location = {Ithaca, NY, USA}, publisher = {IEEE Computer Society Press} }