Computational Types from a Logical Perspective

P. N. Benton, Gavin M. Bierman, Valeria de Paiva. Computational Types from a Logical Perspective. Journal of Functional Programming, 8(2):177-193, 1998.

Abstract

Abstract is missing.