Cambridge Tracts in Theoretical Computer Science

Series by Jean-Yves Girard
Unsorted Book Jean-Yves Girard, Yves Lafont, Paul Taylor: Proofs and Types (Hardcover, Cambridge University Press) No rating

Proofs and Types

by , ,