Curry-Howard for incomplete first-order logic derivations using one-and-a-half level terms. (English) Zbl 1186.68102
Inf. Comput. 208, No. 3, 230-258 (2010); corrigendum ibid. 212, 119 (2012).
MSC:
68N18