Showing 1 - 1 results of 1 for search 'M. W. Bunder', query time: 0.02s
Refine Results
-
1
Are there Hilbert-style Pure Type Systems? by M. W. Bunder, W. M. J. Dekkers
Published 2008-01-01
Article