Travelled to:1 × Austria
1 × Italy
Collaborated with:∅
Talks about:normaliz (1) calculus (1) strong (1) assign (1) type (1) term (1) semi (1) ring (1) near (1) new (1)
Person: Rick Statman
DBLP: Statman:Rick
Contributed to:
2014
2013Wrote 2 papers:
- RTA-TLCA-2014-Statman #λ-calculus
- Near Semi-rings and λ Calculus (RS), pp. 410–424.
- CSL-2013-Statman #normalisation
- A New Type Assignment for Strongly Normalizable Terms (RS), pp. 634–652.