DMCA

Sequent Calculus and the Specification of Computation (2001)

by Dale Miller