P r o o f s a n d Types. Cambridge Tracts in Theoretical Computer Science 7 (1989)

by -Y Girard, Y