Conference Proof-theoretic foundations of indexing in logic programming 2014 • ACM International Conference Proceeding Series Cervesato I
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 • Proceedings of the 15th Symposium on Principles and Practice of Declarative Programming, PPDP 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 • PPDP'12 - Proceedings of the 2012 ACM SIGPLAN Principles and Practice of Declarative Programming • 67-78 Lam ESL, Cervesato I
