Person: Leen Helmink
DBLP: Helmink:Leen
Contributed to:
Wrote 2 papers:
- ESOP-1990-Helmink #type system
- Resolution and Type Theory (LH), pp. 197–211.
- ESOP-J-1990-Helmink91 #type system
- Resolution and Type Theory (LH), pp. 119–138.