Cambridge Tracts in Theoretical Computer Science

1 total work

Proofs and Types

by Jean-Yves Girard, etc., Yves LaFont, and Paul Taylor

Published 23 March 1989