Thorsten Altenkirch

1 published title

Types for proofs and programs : international workshop, TYPES'98, Kloster Irsee, Germany, March 27-31, 1998 : selected papers

(Contributor)

1 edition