Showing 1 - 1 results of 1 for search 'W. M. J. Dekkers', query time: 0.04s Refine Results
  1. 1
    Are there Hilbert-style Pure Type Systems?

    Are there Hilbert-style Pure Type Systems? by M. W. Bunder, W. M. J. Dekkers

    Published 2008-01-01
    Get full text
    Article

Search Tools: