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

[Lecture Notes in Computer Science] Typed Lambda Calculi and Applications Volume 664 || Program extraction from normalization proofs

โœ Scribed by Bezem, Marc; Groote, Jan Friso


Book ID
111681253
Publisher
Springer-Verlag
Year
1993
Weight
734 KB
Category
Article

No coin nor oath required. For personal study only.


๐Ÿ“œ SIMILAR VOLUMES