Ebook: Derivation and computation: taking the Curry-Howard correspondence seriously
Author: Simmons Harold
- Tags: Curry-Howard Isomorphisme de, lambda calcul, Lambda-calcul, lambda calcul typé, Théorie de la démonstration, Théorie de la preuve, Théorie des types, théorie preuve, théorie type, Types Théorie des, lambda calcul typé, théorie type, théorie preuve, Théorie de la démonstration, Types Théorie des
- Series: Cambridge tracts in theoretical computer science 51
- Year: 2000
- Publisher: Cambridge University Press
- City: New York, Cambridge
- Language: English
- djvu
Download the book Derivation and computation: taking the Curry-Howard correspondence seriously for free or read online
Continue reading on any device:
Last viewed books
Related books
{related-news}
Comments (0)