Travelled to:1 × The Netherlands
1 × United Kingdom
Collaborated with:∅
Talks about:type (2) constructor (1) presenc (1) reduct (1) upper (1) third (1) order (1) match (1) lower (1) bound (1)
Person: Jan Springintveld
DBLP: Springintveld:Jan
Contributed to:
19951993Wrote 2 papers:
- TLCA-1995-Springintveld #higher-order
- Third-Order Matching in the Presence of Type Constructors (JS), pp. 428–442.
- TLCA-1993-Springintveld #bound #reduction
- Lower and Upper Bounds for Reductions of Types in λω and λP (JS), pp. 391–405.