𝔖 Bobbio Scriptorium

✦ LIBER ✦

[IEEE Comput. Sco. Press Sixth Annual IEEE Symposium on Logic in Computer Science - Amsterdam, Netherlands (15-18 July 1991)] [1991] Proceedings Sixth Annual IEEE Symposium on Logic in Computer Science - On computational open-endedness in Martin-Lof's type theory

✍ Scribed by Howe, D.J.

Book ID: 118199319
Publisher: IEEE Comput. Sco. Press
Year: 1991
Tongue: English
Weight: 999 KB
Volume: 0
Category: Article
ISBN-13: 9780818622304
DOI: 10.1109/lics.1991.151641

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[IEEE Comput. Sco. Press Sixth Annual IE

[IEEE Comput. Sco. Press Sixth Annual IEEE Symposium on Logic in Computer Science - Amsterdam, Netherlands (15-18 July 1991)] [1991] Proceedings Sixth Annual IEEE Symposium on Logic in Computer Science - Games semantics for linear logic

✍ Lafont, Y.; Streicher, T. 📂 Article 📅 1991 🏛 IEEE Comput. Sco. Press ⚖ 639 KB

[IEEE Comput. Soc. Press Ninth Annual IE

[IEEE Comput. Soc. Press Ninth Annual IEEE Symposium on Logic in Computer Science - Paris, France (4-7 July 1994)] Proceedings Ninth Annual IEEE Symposium on Logic in Computer Science - Rewrite techniques for transitive relations

✍ Bachmair, L.; Ganzinger, H. 📂 Article 📅 1994 🏛 IEEE Comput. Soc. Press ⚖ 923 KB

[IEEE Comput. Soc. Press Ninth Annual IE

[IEEE Comput. Soc. Press Ninth Annual IEEE Symposium on Logic in Computer Science - Paris, France (4-7 July 1994)] Proceedings Ninth Annual IEEE Symposium on Logic in Computer Science - Reflexive graphs and parametric polymorphism

✍ Robinson, E.P.; Rosolini, G. 📂 Article 📅 1994 🏛 IEEE Comput. Soc. Press ⚖ 686 KB

[IEEE Comput. Soc. Press 11th Annual IEE

[IEEE Comput. Soc. Press 11th Annual IEEE Symposium on Logic in Computer Science - New Brunswick, NJ, USA (27-30 July 1996)] Proceedings 11th Annual IEEE Symposium on Logic in Computer Science - Simultaneous rigid E-unification and related algorithmic problems

✍ Degtyarev, A.; Matiyasevich, Y.; Voronkov, A. 📂 Article 📅 1996 🏛 IEEE Comput. Soc. Press ⚖ 819 KB

[IEEE Comput. Soc 13th Annual IEEE Sympo

[IEEE Comput. Soc 13th Annual IEEE Symposium on Logic in Computer Science - Indianapolis, IN, USA (21-24 June 1998)] Proceedings. Thirteenth Annual IEEE Symposium on Logic in Computer Science (Cat. No.98CB36226) - Type theory via exact categories

✍ Birkedal, L.; Carboni, A.; Rosolini, G.; Scott, D.S. 📂 Article 📅 1998 🏛 IEEE Comput. Soc 🌐 English ⚖ 144 KB

[IEEE Comput. Soc. Press [1988] Proceedi

[IEEE Comput. Soc. Press [1988] Proceedings. Third Annual Information Symposium on Logic in Computer Science - Edinburgh, UK (5-8 July 1988)] [1988] Proceedings. Third Annual Information Symposium on Logic in Computer Science - Semantic parametricity in polymorphic lambda calculus

✍ Freyd, P.J.; Girard, J.-Y.; Scedrov, A.; Scott, P.J. 📂 Article 📅 1988 🏛 IEEE Comput. Soc. Press 🌐 English ⚖ 304 KB