Couverture : Derivation and computation

Connectez-vous pour ajouter ce livre à votre bibliothèque.

Derivation and computation

Harold Simmons

Autre Première publication : 2000

Sujets

Théorie de la démonstration Lambda-calcul Théorie des types

Éditions (1)

Couverture : Derivation and computation

Derivation and computation : taking the Curry-Howard correspondence seriously

Cambridge university press (Cambridge) · 2000 · 9780521771733