๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Linear realizability and full completeness for typed lambda-calculi

โœ Scribed by Samson Abramsky; Marina Lenisa


Publisher
Elsevier Science
Year
2005
Tongue
English
Weight
579 KB
Volume
134
Category
Article
ISSN
0168-0072

No coin nor oath required. For personal study only.


๐Ÿ“œ SIMILAR VOLUMES