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

[Lecture Notes in Computer Science] Types for Proofs and Programs Volume 2646 || General Recursion in Type Theory

โœ Scribed by Geuvers, Herman; Wiedijk, Freek


Book ID
115496735
Publisher
Springer Berlin Heidelberg
Year
2003
Weight
231 KB
Category
Article
ISBN
354014031X

No coin nor oath required. For personal study only.


๐Ÿ“œ SIMILAR VOLUMES