Search the dblp DataBase
P. N. Benton: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]
Publications of Author
- P. N. Benton
A Mixed Linear and Non-Linear Logic: Proofs, Terms and Models (Extended Abstract). [Citation Graph (0, 0)][DBLP]
CSL, 1994, pp:121-135 [Conf] - P. N. Benton, Gavin M. Bierman, Valeria de Paiva, Martin Hyland
Linear Lambda-Calculus and Categorial Models Revisited. [Citation Graph (0, 0)][DBLP]
CSL, 1992, pp:61-84 [Conf] - P. N. Benton
Strictness Logic and Polymorphic Invariance. [Citation Graph (0, 0)][DBLP]
LFCS, 1992, pp:33-44 [Conf] - P. N. Benton, Philip Wadler
Linear Logic, Monads and the Lambda Calculus. [Citation Graph (0, 0)][DBLP]
LICS, 1996, pp:420-431 [Conf] - P. N. Benton
Strictness Properties of Lazy Algebraic Datatypes. [Citation Graph (0, 0)][DBLP]
WSA, 1993, pp:206-217 [Conf] - P. N. Benton, Gavin M. Bierman, Valeria de Paiva, Martin Hyland
A Term Calculus for Intuitionistic Linear Logic. [Citation Graph (0, 0)][DBLP]
TLCA, 1993, pp:75-90 [Conf] - P. N. Benton
On the Relationship Between Formal Semantics and Static Analysis. [Citation Graph (0, 0)][DBLP]
ACM Comput. Surv., 1996, v:28, n:2, pp:321-323 [Journal] - P. N. Benton
Strong Normalisation for the Linear Term Calculus. [Citation Graph (0, 0)][DBLP]
J. Funct. Program., 1995, v:5, n:1, pp:65-80 [Journal] - P. N. Benton, Gavin M. Bierman, Valeria de Paiva
Computational Types from a Logical Perspective. [Citation Graph (0, 0)][DBLP]
J. Funct. Program., 1998, v:8, n:2, pp:177-193 [Journal]
Search in 0.057secs, Finished in 0.058secs
| NOTICE1 |
|---|
| System may not be available sometimes or not working properly, since it is still in development with continuous upgrades |
| NOTICE2 |
|---|
| The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP |
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002