about 'linear logic'

Articles in journal, book chapters

  1. Flavio Cruz and Ricardo Rocha. On Compiling Linear Logic Programs with Comprehensions, Aggregates and Rule Priorities, pages 34-49. Springer International Publishing, Cham, 2015. ISBN: 978-3-319-19686-2. [WWW] [doi:10.1007/978-3-319-19686-2_3]
  2. Rémy Haemmerlé. Observational equivalences for linear logic concurrent constraint languages. In John Gallagher and Michael Gelfond, editors, ICLP11l, volume 11(4--5) of TPLP, pages 469-485. CUP, July 2011. [doi:10.1017/S1471068411000123] Keyword(s): linear logic, semantics, confluence, related formalisms.

Conference articles

  1. Thierry Martinez. Angelic CHR. In Jon Sneyers, editor, CHR11l, pages 19-31, September 2011. GUC, Technical report. [PDF] Keyword(s): semantics, CHR 2011, CHR 2011.
  2. Thierry Martinez. Semantics-preserving translations between Linear Concurrent Constraint Programming and Constraint Handling Rules. In M. Fernández, editor, PPDP10l, pages 57-66, July 2010. ACM. [doi:10.1145/1836089.1836097] Keyword(s): semantics, related formalisms, linear logic.
  3. Thierry Martinez. On connections between CHR and LCC. In F. Raiser and J. Sneyers, editors, CHR09l, pages 18-32, July 2009. KULCW, Technical report CW 555. [PDF] Keyword(s): CHR 2009, linear logic, related formalisms, CHR 2009, CHR 2009.
  4. Rémy Haemmerlé and Hariolf Betz. Verification of Constraint Handling Rules using Linear Logic Phase Semantics. In T. Schrijvers, F. Raiser, and T. Frühwirth, editors, CHR08l, pages 67-78, 2008. RISC Report Series 08-10, University of Linz, Austria. [PDF] Keyword(s): CHR 2008, linear logic, verification, CHR 2008, CHR 2008.
  5. Hariolf Betz and Thom Frühwirth. A Linear-Logic Semantics for Constraint Handling Rules with Disjunction. In K. Djelloul, G. J. Duck, and M. Sulzmann, editors, CHR07l, pages 17-31, September 2007. [PDF] Keyword(s): CHR 2007, semantics, linear logic, CHR 2007, CHR 2007.
  6. Edmund S.L. Lam and Martin Sulzmann. Towards Agent Programming in CHR. In T. Schrijvers and Th. Frühwirth, editors, CHR06l, pages 17-31, July 2006. KULCW, Technical report CW 452. [PDF] Keyword(s): linear logic, CHR 2006, CHR 2006, CHR 2006.
  7. Hariolf Betz and Thom Frühwirth. A Linear-Logic Semantics for Constraint Handling Rules. In CP05, volume 3709 of LNCS, pages 137-151, October 2005. SV. Keyword(s): semantics, linear logic.


  1. Hariolf Betz. A linear logic semantics for CHR. Diplomarbeit, University of Ulm, Germany, October 2004. [POSTSCRIPT] Keyword(s): semantics, linear logic.