Fully Complete Minimal PER Models for the Simply Typed Lambda-calculus
ABRAMSKY S.
•
LENISA, Marina
2001
Periodico
LECTURE NOTES IN COMPUTER SCIENCE
Archivio
Diritti
closed access