BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × The Netherlands
1 × USA
2 × Italy
Collaborated with:
P.Wadler G.M.Bierman V.d.Paiva M.Hyland
Talks about:
calculus (3) linear (3) logic (2) intuitionist (1) properti (1) categori (1) revisit (1) datatyp (1) algebra (1) strict (1)

Person: P. N. Benton

DBLP DBLP: Benton:P=_N=

Contributed to:

LICS 19961996
TLCA 19931993
WSA 19931993
CSL 19921992

Wrote 4 papers:

LICS-1996-BentonW #linear #logic #monad #λ-calculus
Linear Logic, Monads and the λ Calculus (PNB, PW), pp. 420–431.
TLCA-1993-BentonBPH #calculus #linear #logic
A Term Calculus for Intuitionistic Linear Logic (PNB, GMB, VdP, MH), pp. 75–90.
WSA-1993-Benton #algebra #data type #lazy evaluation #strict
Strictness Properties of Lazy Algebraic Datatypes (PNB), pp. 206–217.
CSL-1992-BentonBPH #linear #modelling #revisited #λ-calculus
Linear λ-Calculus and Categorial Models Revisited (PNB, GMB, VdP, MH), pp. 61–84.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.