Thierry Coquand

Identifiers

Open LibraryOL4451590A

Books by Thierry Coquand

Total count: 2

Domain theoretic models of polymorphism

University of Cambridge, Computer Laboratory1987-01-01
Types for Proofs and ProgramsInternational Workshop, TYPES'99, lökeberg, Sweden, June 12-16, 1999, Selected Papers

Springer London, Limited2003-01-01