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

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

• Book ID: 113641875
• Publisher: Elsevier Science
• Year: 2010
• Tongue: English
• Weight: 788 KB
• Volume: 208
• Category: Article
• ISSN: 0890-5401
• DOI: 10.1016/j.ic.2009.09.003