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

[Lecture Notes in Computer Science] Static Analysis Volume 864 || Stackability in the simply-typed call-by-value lambda calculus

โœ Scribed by Charlier, Baudouin


Book ID
111681215
Publisher
Springer Berlin Heidelberg
Year
1994
Weight
744 KB
Category
Article
ISBN
3540490051

No coin nor oath required. For personal study only.


๐Ÿ“œ SIMILAR VOLUMES