Fully Complete Minimal PER Models for the Simply Typed λ−calculus
S. Abramsky and M. Lenisa
Book Title
CSL 2001 Conference Proceedings
Pages
442−457
Series
Springer LNCS
Volume
2142
Year
2001
S. Abramsky and M. Lenisa