Conference Reasoning about set comprehensions 2014 • CEUR Workshop Proceedings • 1163:27-37 Lam ESL, Cervesato I
Journal Article Substructural Meta-Theory of a Type-Safe Language for Web Programming 2014 • Fundamenta Informaticae • 130(1):67-97 Cervesato I, Sans T
Conference Controlling Data Flow with a Policy-Based Programming Language for the Web 2013 • Lecture Notes in Computer Science • 8208:215-230 Sans T, Cervesato I, Hussein S
Conference Decentralized execution of constraint handling rules for ensembles 2013 205-216 Lam ESL, Cervesato I
Journal Article The Deductive Spreadsheet Introduction 2013 • Cognitive Technologies • 1-23 Cervesato I
Preprint Towards Meta-Reasoning in the Concurrent Logical Framework CLF 2013 Cervesato I, Sacchini JL
Conference TowardsMeta-Reasoning in the Concurrent Logical Framework CLF 2013 • Electronic Proceedings in Theoretical Computer Science • 2-16 Cervesato I, Sacchini JL
Journal Article An Improved Proof-Theoretic Compilation of Logic Programs 2012 • Theory and Practice of Logic Programming • 12:639-657 Cervesato I
Conference Modeling datalog fact assertion and retraction in linear logic 2012 67-78 Lam ESL, Cervesato I
