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

[Lecture Notes in Computer Science] Certified Programs and Proofs Volume 7679 || Coherent and Strongly Discrete Rings in Type Theory

โœ Scribed by Hawblitzel, Chris; Miller, Dale


Book ID
118009950
Publisher
Springer Berlin Heidelberg
Year
2012
Weight
235 KB
Category
Article
ISBN
3642353088

No coin nor oath required. For personal study only.


๐Ÿ“œ SIMILAR VOLUMES


[Lecture Notes in Computer Science] Prog
โœ Schmidt, David ๐Ÿ“‚ Article ๐Ÿ“… 2004 ๐Ÿ› Springer Berlin Heidelberg ๐ŸŒ German โš– 164 KB

This Volume Contains The 28 Papers Presented At Esop 2004, The 13th European Symposium On Programming, Which Took Place In Barcelona, Spain, March 29โ€“ 31, 2004. The Esop Series Began In 1986 With The Goal Of Bridging The Gap Between Theory And Practice, And The Conferences Continue To Be Devoted To