Couverture : Categories for types

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

Categories for types

Roy L. Crole

Autre Première publication : 1993

Sujets

Catégories (mathématiques) Lambda-calcul Types abstraits de données (informatique)

Éditions (1)

Couverture : Categories for types

Categories for types

Cambridge university press (Cambridge) · 1993 · 9780521450928