Document Versions

Computational types from a logical perspective –P. N. Benton, G. M. Bierman, V. C. V. De Paiva — 1998 — Journal of Functional Programming
Computational Types from a Logical Perspective I –P.N. Benton, G.M. Bierman, V.C.V. de Paiva — 1995
Computational Types from a Logical Perspective –P. N. Benton, G. M. Bierman, V. C. V. De Paiva — 1995 — Journal of Functional Programming
Computational Types from a Logical Perspective I –Benton Bierman, G. M. Bierman — 1995
Computational Types from a Logical Perspective I –Benton Bierman, G. M. Bierman — 1995