Simmons, H.
Derivation and Computation :(CTC 51) - Cambridge CUP 2000 - 384 - Cambridge Tracts in Theoretical Computer Science, 51 .
0 521 77173 0
Proof Theory
Lambda Calculus
Type Theory
681.3 SIM
Derivation and Computation :(CTC 51) - Cambridge CUP 2000 - 384 - Cambridge Tracts in Theoretical Computer Science, 51 .
0 521 77173 0
Proof Theory
Lambda Calculus
Type Theory
681.3 SIM