Game Semantics for Untyped Lambda-beta-eta-calculus
DI GIANANTONIO, Pietro
•
Franco G
•
Honsell F.
1999
Periodico
LECTURE NOTES IN COMPUTER SCIENCE
WOS
Archivio
Diritti
metadata only access