One-and-a-halfth Order Terms: Curry-Howard for Incomplete Derivations (0)

by Murdoch J Gabbay, Dominic P Mulligan
Venue:Proceedings of 15th Workshop on Logic, Language and Information in Computation (WoLLIC 2008), Lecture Notes in Artificial Intelligence