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: Benton:P=_N=
Contributed to:
1996
1993
1993
1992Wrote 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.