Couverture : Categorical logic and type theory

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

Categorical logic and type theory

Bart Jacobs

Autre Première publication : 1999

Sujets

Catégories (mathématiques) Théorie des types

Éditions (1)

Couverture : Categorical logic and type theory

Categorical logic and type theory

Elsevier (Amsterdam) · 1999 · 9780444501707