Functional Interpretations of Intuitionistic Linear Logic - researchr publication related

researchr

You are not signed in
Sign in
Sign up

Gilda Ferreira, Paulo Oliva. Functional Interpretations of Intuitionistic Linear Logic. In Erich GrÃ¤del, Reinhard Kahle, editors, Computer Science Logic, 23rd international Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009. Proceedings. Volume 5771 of Lecture Notes in Computer Science, pages 3-19, Springer, 2009. [doi]

The following publications are possibly variants of this publication:

Functional interpretations of linear and intuitionistic logicPaulo Oliva. iandc, 208(5):565-577, 2010. [doi]

Hybrid Functional Interpretations of Linear and Intuitionistic LogicPaulo Oliva. logcom, 22(2):305-328, 2012. [doi]

runs on WebDSL