Corrigendum to ``Curry-Howard for incomplete first-order logic derivations using one-and-a-half level terms

DOI10.1016/J.IC.2012.01.002zbMath1238.68046OpenAlexW2072722957MaRDI QIDQ418158

Dominic P. Mulligan, Murdoch James Gabbay

Publication date: 24 May 2012

Published in: Information and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.ic.2012.01.002

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

This page was built for publication: Corrigendum to ``Curry-Howard for incomplete first-order logic derivations using one-and-a-half level terms