Ralph Matthes (auth.)

Types for Proofs and Programs: International Workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24–28, 2002. Selected Papers

2003 · ENGLISH · PDF

View details →