Rob Nederpelt · 2 obras en el catálogoObrasType Theory and Formal ProofMModern Perspective on Type TheoryModern Perspective on Type Theory