Proofs as computations in linear logic

DOI10.1016/S0304-3975(00)00024-4zbMath0974.68191MaRDI QIDQ5941199

Maurizio Martelli, Giorgio Delzanno

Publication date: 20 August 2001

Published in: Theoretical Computer Science (Search for Journal in Brave)

zbMATH Keywords

higher-order logiclinear logicextensions of logic programming

Mathematics Subject Classification ID

Uses Software

• Lolli

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Linear logic
• Forum: A multiple-conclusion specification logic
• Logic programming in a fragment of intuitionistic linear logic
• On proof normalization in linear logic
• Asynchronous communication model based on linear logic
• Uniform proofs as a foundation for logic programming
• Logic Programming with Focusing Proofs in Linear Logic
• The Semantics of Predicate Logic as a Programming Language
• A specification logic for concurrent object-oriented programming
• A Uniform Proof-theoretic Investigation of Linear Logic Programming
• Object calculi in linear logic