On the completeness of order-theoretic models of the λ-calculus
Furio Honsell, Gordon PlotkinVolume:
207
Year:
2009
Language:
english
Pages:
12
DOI:
10.1016/j.ic.2008.03.027
File:
PDF, 180 KB
english, 2009