An open logical framework

DOI10.1093/logcom/ext028zbMath1352.68061OpenAlexW1999838273MaRDI QIDQ2804331

Luigi Liquori, Furio Honsell, Marina Lenisa, Ivan Scagnetto, Petar Maksimović

Publication date: 28 April 2016

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: http://hdl.handle.net/10044/1/29759

zbMATH Keywords

type theorytyped lambda calculuslogical frameworkscomputer-aided formal verification

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Logic in computer science (03B70) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (4)

LF+ in Coq for "fast and loose" reasoning ⋮ Implementing Cantor’s Paradise ⋮ A semantic framework for proof evidence ⋮ Plugging-in proof development environments usingLocksinLF

This page was built for publication: An open logical framework