𝔖 Bobbio Scriptorium

✦ LIBER ✦

[IEEE Comput. Soc Fifteenth Annual IEEE Symposium on Logic in Computer Science (LICS 2000) - Santa Barbara, CA, USA (26-28 June 2000)] Proceedings Fifteenth Annual IEEE Symposium on Logic in Computer Science (Cat. No.99CB36332) - Efficient and flexible matching of recursive types

✍ Scribed by Palsberg, J.; Tian Zhao,

Book ID: 124099666
Publisher: IEEE Comput. Soc
Year: 2000
Tongue: English
Weight: 448 KB
Edition: 2000, 15th Annual ed.
Category: Article
ISBN-13: 9780769507255
DOI: 10.1109/LICS.2000.855786

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[IEEE Comput. Soc Fifteenth Annual IEEE

[IEEE Comput. Soc Fifteenth Annual IEEE Symposium on Logic in Computer Science (LICS 2000) - Santa Barbara, CA, USA (26-28 June 2000)] Proceedings Fifteenth Annual IEEE Symposium on Logic in Computer Science (Cat. No.99CB36332) - Definability and compression

✍ Afrati, F.; Leiss, H.; de Rougemont, M. 📂 Article 📅 2000 🏛 IEEE Comput. Soc ⚖ 383 KB

[IEEE Comput. Soc Fifteenth Annual IEEE

[IEEE Comput. Soc Fifteenth Annual IEEE Symposium on Logic in Computer Science (LICS 2000) - Santa Barbara, CA, USA (26-28 June 2000)] Proceedings Fifteenth Annual IEEE Symposium on Logic in Computer Science (Cat. No.99CB36332) - A general notion of realizability

✍ Birkedal, L. 📂 Article 📅 2000 🏛 IEEE Comput. Soc ⚖ 383 KB

[IEEE Comput. Soc Fifteenth Annual IEEE

[IEEE Comput. Soc Fifteenth Annual IEEE Symposium on Logic in Computer Science (LICS 2000) - Santa Barbara, CA, USA (26-28 June 2000)] Proceedings Fifteenth Annual IEEE Symposium on Logic in Computer Science (Cat. No.99CB36332) - A decision procedure for term algebras with queues

✍ Rybina, T.; Voronkov, A. 📂 Article 📅 2000 🏛 IEEE Comput. Soc 🌐 English ⚖ 353 KB

[IEEE Comput. Soc Fifteenth Annual IEEE

[IEEE Comput. Soc Fifteenth Annual IEEE Symposium on Logic in Computer Science (LICS 2000) - Santa Barbara, CA, USA (26-28 June 2000)] Proceedings Fifteenth Annual IEEE Symposium on Logic in Computer Science (Cat. No.99CB36332) - Complete axioms for categorical fixed-point operators

✍ Simpson, A.; Plotkin, G. 📂 Article 📅 2000 🏛 IEEE Comput. Soc ⚖ 418 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 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) - Secure implementation of channel abstractions

✍ Abadi, M.; Fournet, C.; Gonthier, G. 📂 Article 📅 1998 🏛 IEEE Comput. Soc 🌐 English ⚖ 197 KB