𝔖 Bobbio Scriptorium

✦ LIBER ✦

[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

✍ Scribed by Freyd, P.J.; Girard, J.-Y.; Scedrov, A.; Scott, P.J.

Book ID: 118042736
Publisher: IEEE Comput. Soc. Press
Year: 1988
Tongue: English
Weight: 304 KB
Volume: 0
Category: Article
ISBN-13: 9780818608537
DOI: 10.1109/lics.1988.5126

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Third annual symposium on logic in compu

Third annual symposium on logic in computer science : July 5–8, 1988, Edinburgh, Scotland, U.K.

📂 Article 📅 1987 🏛 Elsevier Science 🌐 English ⚖ 279 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 [1989] Proceedi

[IEEE Comput. Soc. Press [1989] Proceedings. Fourth Annual Symposium on Logic in Computer Science - Pacific Grove, CA, USA (5-8 June 1989)] [1989] Proceedings. Fourth Annual Symposium on Logic in Computer Science - Domains and logics

✍ Scott, D.S. 📂 Article 📅 1989 🏛 IEEE Comput. Soc. Press ⚖ 156 KB

[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 [1993] Eighth A

[IEEE Comput. Soc. Press [1993] Eighth Annual IEEE Symposium on Logic in Computer Science - Montreal, Que., Canada (19-23 June 1993)] [1993] Proceedings Eighth Annual IEEE Symposium on Logic in Computer Science - Imperfect information flow

✍ Barwise, J.; Seligman, J. 📂 Article 📅 1993 🏛 IEEE Comput. Soc. Press ⚖ 893 KB

[IEEE Comput. Soc. Press [1989] Proceedi

[IEEE Comput. Soc. Press [1989] Proceedings. Fourth Annual Symposium on Logic in Computer Science - Pacific Grove, CA, USA (5-8 June 1989)] [1989] Proceedings. Fourth Annual Symposium on Logic in Computer Science - Axiomatizing net computations and processes

✍ Degano, P.; Meseguer, J.; Montanari, U. 📂 Article 📅 1989 🏛 IEEE Comput. Soc. Press ⚖ 929 KB