Relative Completeness for Logics of Functional Programs

DOI10.4230/LIPICS.CSL.2011.470zbMath1247.68047OpenAlexW1945182987MaRDI QIDQ2915704

Bernhard Reus, Thomas Streicher

Publication date: 18 September 2012

Full work available at URL: http://subs.emis.de/LIPIcs/frontdoor_252c.html

zbMATH Keywords

LCFcompletenessprogram logics

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Logic in computer science (03B70)

This page was built for publication: Relative Completeness for Logics of Functional Programs