Related Books

Isomorphisms of Types
Language: en
Pages: 256

Isomorphisms of Types

Authors: Roberto DiCosmo
Categories: Computers
Type: BOOK - Published: 1995 - Publisher: Springer Science & Business Media

GET EBOOK

This is a book about isomorphisms 0/ types, arecent difficult research topic in type theory that turned out to be able to have valuable practical applications b
Isomorphisms of Types
Language: en
Pages: 235

Isomorphisms of Types

Authors: Roberto Di Cosmo
Categories: Human-computer interaction
Type: BOOK - Published: 1995 - Publisher:

GET EBOOK

Isomorphisms of Types
Language: en
Pages: 238

Isomorphisms of Types

Authors: Roberto DiCosmo
Categories: Computers
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media

GET EBOOK

This is a book about isomorphisms 0/ types, arecent difficult research topic in type theory that turned out to be able to have valuable practical applications b
Conference Record of the Nineteenth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
Language: en
Pages: 380

Conference Record of the Nineteenth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages

Authors: Association for Computing Machinery
Categories: Computers
Type: BOOK - Published: 1992 - Publisher: Pearson Education

GET EBOOK

Types for Proofs and Programs
Language: en
Pages: 418

Types for Proofs and Programs

Authors: Stefano Berardi
Categories: Computers
Type: BOOK - Published: 2004-05-17 - Publisher: Springer

GET EBOOK

These proceedings contain a selection of refereed papers presented at or related to the 3rd Annual Workshop of the Types Working Group (Computer-Assisted Reason