Can LCF be topped? Flat lattice models of typed lambda calculus

Publisher Website

6 January 2003

conference paper
Published by Institute of Electrical and Electronics Engineers (IEEE)

https://doi.org/10.1109/lics.1988.5127

Abstract

No abstract available

Cited by 5 articles