Publication View

Proof-checking using Dependent Type Systems (2002)

Publication details

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