𝔖 Bobbio Scriptorium
✦   LIBER   ✦

[Lecture Notes in Computer Science] Computer Science Logic Volume 2471 || Limit-Computable Mathematics and Its Applications

✍ Scribed by Bradfield, Julian

Book ID
121506700
Publisher
Springer Berlin Heidelberg
Year
2002
Weight
44 KB
Category
Article
ISBN
3540457933

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

[Lecture Notes in Computer Science] Type
[Lecture Notes in Computer Science] Types for Proofs and Programs Volume 2277 || Towards Limit Computable Mathematics
✍ Callaghan, Paul; Luo, Zhaohui; McKinna, James; Pollack, Robert; Pollack, Robert πŸ“‚ Article πŸ“… 2002 πŸ› Springer Berlin Heidelberg 🌐 German βš– 726 KB

This Book Constitutes The Thoroughly Refereed Post-proceedings Of The International Workshop Of The Types Working Group, Types 2000, Held In Durham, Uk In December 2000. The 15 Revised Full Papers Presented Were Carefully Reviewed And Selected During Two Rounds Of Refereeing And Revision. All Curren

[Lecture Notes in Computer Science] Type
[Lecture Notes in Computer Science] Types for Proofs and Programs Volume 2277 || Towards Limit Computable Mathematics
✍ Callaghan, Paul; Luo, Zhaohui; McKinna, James; Pollack, Robert; Pollack, Robert πŸ“‚ Article πŸ“… 2002 πŸ› Springer Berlin Heidelberg 🌐 German βš– 726 KB

This Book Constitutes The Thoroughly Refereed Post-proceedings Of The International Workshop Of The Types Working Group, Types 2000, Held In Durham, Uk In December 2000. The 15 Revised Full Papers Presented Were Carefully Reviewed And Selected During Two Rounds Of Refereeing And Revision. All Curren

[Lecture Notes in Computer Science] Comp
[Lecture Notes in Computer Science] Computer Science Logic Volume 933 || Logic programming in Tau Categories
✍ Pacholski, Leszek; Tiuryn, Jerzy πŸ“‚ Article πŸ“… 1995 πŸ› Springer Berlin Heidelberg 🌐 German βš– 836 KB

Subtyping With Singleton Types / David Aspinall -- A Subtyping For The Fisher-honsell-mitchell Lambda Calculus Of Objects / Viviana Bono And Luigi Liquori -- The Girard Translation Extended With Recursion / Torben Brauner -- Decidability Of Higher-order Subtyping With Intersection Types / Adriana B.