One-and-a-Halfth Order Terms: Curry-Howard and Incomplete Derivations.

Murdoch Gabbay, Dominic P. Mulligan

Browse the full WoLLIC paper archive.