P. N. Benton
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
4
Active years
1992–1996
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 1996 | LICS | Linear Logic, Monads and the Lambda Calculus. | P. N. Benton, Philip Wadler |
| 1994 | CSL | A Mixed Linear and Non-Linear Logic: Proofs, Terms and Models (Extended Abstract). | P. N. Benton |
| 1993 | SAS | Strictness Properties of Lazy Algebraic Datatypes. | P. N. Benton |
| 1992 | CSL | Linear Lambda-Calculus and Categorial Models Revisited. | P. N. Benton, Gavin M. Bierman, Valeria de Paiva, Martin Hyland |
| 1992 | LFCS | Strictness Logic and Polymorphic Invariance. | P. N. Benton |