Publication View

Proof-development in type theory (2001)

Publication details

Publisher	Elsevier
Repository	Repository Radboud Universiteit Nijmegen (Netherlands)
Type	Part of book or chapter of book
Language	Englisch