Kripke-style models for typed lambda calculus

From MaRDI portal
Revision as of 11:05, 30 January 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:804559

DOI10.1016/0168-0072(91)90067-VzbMath0728.03011MaRDI QIDQ804559

John C. Mitchell, Eugenio Moggi

Publication date: 1991

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)




Related Items (23)




Cites Work




This page was built for publication: Kripke-style models for typed lambda calculus