𝔖 Bobbio Scriptorium
✦   LIBER   ✦

[Lecture Notes in Computer Science] Structures in Logic and Computer Science Volume 1261 || Some strange quantifiers

✍ Scribed by Mycielski, Jan; Rozenberg, Grzegorz; Salomaa, Arto

Book ID
120347553
Publisher
Springer Berlin Heidelberg
Year
1997
Weight
740 KB
Category
Article
ISBN
3540692428

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

[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.