مؤلف: Wolfgang Naraschewski

Thorsten Altenkirch & Wolfgang Naraschewski: Types for Proofs and Programs