𝔖 Bobbio Scriptorium

✦ LIBER ✦

[IEEE Comput. Soc Twelfth Annual IEEE Symposium on Logic in Computer Science - Warsaw, Poland (29 June-2 July 1997)] Proceedings of Twelfth Annual IEEE Symposium on Logic in Computer Science - Induction and recursion on the partial real line via biquotients of bifree algebras

✍ Scribed by Escardo, M.H.; Streicher, T.

Book ID: 126685050
Publisher: IEEE Comput. Soc
Year: 1997
Weight: 790 KB
Category: Article
ISBN-13: 9780818679254
DOI: 10.1109/LICS.1997.614963

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[IEEE Comput. Soc Twelfth Annual IEEE Sy

[IEEE Comput. Soc Twelfth Annual IEEE Symposium on Logic in Computer Science - Warsaw, Poland (29 June-2 July 1997)] Proceedings of Twelfth Annual IEEE Symposium on Logic in Computer Science - Boolean expression diagrams

✍ Andersen, H.R.; Hulgaard, H. 📂 Article 📅 1997 🏛 IEEE Comput. Soc ⚖ 992 KB

[IEEE Comput. Soc Twelfth Annual IEEE Sy

[IEEE Comput. Soc Twelfth Annual IEEE Symposium on Logic in Computer Science - Warsaw, Poland (29 June-2 July 1997)] Proceedings of Twelfth Annual IEEE Symposium on Logic in Computer Science - Semantics of exact real arithmetic

✍ Potts, P.J.; Edalat, A.; Escardo, M.H. 📂 Article 📅 1997 🏛 IEEE Comput. Soc ⚖ 828 KB

[IEEE Comput. Soc Twelfth Annual IEEE Sy

[IEEE Comput. Soc Twelfth Annual IEEE Symposium on Logic in Computer Science - Warsaw, Poland (29 June-2 July 1997)] Proceedings of Twelfth Annual IEEE Symposium on Logic in Computer Science - Temporal linear logic specifications for concurrent processes

✍ Kanovich, M.; Ito, T. 📂 Article 📅 1997 🏛 IEEE Comput. Soc ⚖ 687 KB

[IEEE Comput. Soc Twelfth Annual IEEE Sy

[IEEE Comput. Soc Twelfth Annual IEEE Symposium on Logic in Computer Science - Warsaw, Poland (29 June-2 July 1997)] Proceedings of Twelfth Annual IEEE Symposium on Logic in Computer Science - On the cubic bottleneck in subtyping and flow analysis

✍ Heintze, N.; McAllester, D. 📂 Article 📅 1997 🏛 IEEE Comput. Soc ⚖ 968 KB

[IEEE Comput. Soc Twelfth Annual IEEE Sy

[IEEE Comput. Soc Twelfth Annual IEEE Symposium on Logic in Computer Science - Warsaw, Poland (29 June-2 July 1997)] Proceedings of Twelfth Annual IEEE Symposium on Logic in Computer Science - A relational account of call-by-value sequentiality

✍ Riecke, J.G.; Sandholm, A. 📂 Article 📅 1997 🏛 IEEE Comput. Soc ⚖ 883 KB

[IEEE Comput. Soc Twelfth Annual IEEE Sy

[IEEE Comput. Soc Twelfth Annual IEEE Symposium on Logic in Computer Science - Warsaw, Poland (29 June-2 July 1997)] Proceedings of Twelfth Annual IEEE Symposium on Logic in Computer Science - Believe it or not, AJM's games model is a model of classical linear logic

✍ Baillot, P.; Danos, V.; Ehrhard, T.; Regnier, L. 📂 Article 📅 1997 🏛 IEEE Comput. Soc ⚖ 724 KB