Corrigendum to “Curry–Howard for incomplete first-order logic derivations using one-and-a-half level terms” [Inform. and Comput. 208 (3) (2010) 230–258]
-
Published:2012-03
Issue:
Volume:212
Page:119
-
ISSN:0890-5401
-
Container-title:Information and Computation
-
language:en
-
Short-container-title:Information and Computation
Author:
Gabbay Murdoch J.,Mulligan Dominic P.
Subject
Computational Theory and Mathematics,Computer Science Applications,Information Systems,Theoretical Computer Science