DMCA

One-and-a-halfth order terms: Curry-Howard and incomplete derivations

by Murdoch J. Gabbay , Dominic P. Mulligan
Citations:5 - 4 self