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