A Conditional Logical Framework

DOI10.1007/978-3-540-89439-1_10zbMath1182.03068OpenAlexW1508975026MaRDI QIDQ5505549

Luigi Liquori, Furio Honsell, Ivan Scagnetto, Marina Lenisa

Publication date: 27 January 2009

Published in: Logic for Programming, Artificial Intelligence, and Reasoning (Search for Journal in Brave)

Full work available at URL: https://hal.inria.fr/hal-00909574/file/lpar-08.pdf

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Combinatory logic and lambda calculus (03B40)

Related Items (1)

LF+ in Coq for "fast and loose" reasoning

This page was built for publication: A Conditional Logical Framework