Nederpelt, R. P.
Overview
Works: | 1 works in 0 publications in 0 languages |
---|
Titles
Type theory and formal proof : = an introduction /
by:
Nederpelt, R. P.; Geuvers, Herman, (1964-)
(Language materials, printed)
Subjects