P. N. Benton

Publication Activity (10 Years)

Years Active: 1992-1998
Publications (10 Years): 0

Publications

P. N. Benton, Gavin M. Bierman, Valeria de Paiva
Computational Types from a Logical Perspective. J. Funct. Program. 8 (2) (1998)
P. N. Benton
On the Relationship Between Formal Semantics and Static Analysis. ACM Comput. Surv. 28 (2) (1996)
P. N. Benton, Philip Wadler
Linear Logic, Monads and the Lambda Calculus. LICS (1996)
P. N. Benton
Strong Normalisation for the Linear Term Calculus. J. Funct. Program. 5 (1) (1995)
P. N. Benton
A Mixed Linear and Non-Linear Logic: Proofs, Terms and Models (Extended Abstract). CSL (1994)
P. N. Benton
Strictness Properties of Lazy Algebraic Datatypes. WSA (1993)
P. N. Benton, Gavin M. Bierman, Valeria de Paiva, Martin Hyland
A Term Calculus for Intuitionistic Linear Logic. TLCA (1993)
P. N. Benton
Strictness Logic and Polymorphic Invariance. LFCS (1992)
P. N. Benton, Gavin M. Bierman, Valeria de Paiva, Martin Hyland
Linear Lambda-Calculus and Categorial Models Revisited. CSL (1992)