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]

✍ Scribed by Murdoch J. Gabbay; Dominic P. Mulligan

• Book ID: 113642031
• Publisher: Elsevier Science
• Year: 2012
• Tongue: English
• Weight: 68 KB
• Volume: 212
• Category: Article
• ISSN: 0890-5401
• DOI: 10.1016/j.ic.2012.01.002