Showing 1 - 1 results of 1 for search 'Andrews, P.B', query time: 0.01s Refine Results
  1. 1

    A transfinite type theory with type variables. by Andrews, P.B

    Book

    A transfinite type theory with type variables.

Search Tools: