Hindley, J Roger.
Basic Simple Type Theory : (CTTCS, 42) - Cambridge CUP 1997 - 186 - Cambridge Tracts in Theoretical Computer Science, 42 .
0 521 46518 4
Type Theory
681.3 HIND
Basic Simple Type Theory : (CTTCS, 42) - Cambridge CUP 1997 - 186 - Cambridge Tracts in Theoretical Computer Science, 42 .
0 521 46518 4
Type Theory
681.3 HIND