Logique catégorique et théorie des types : Volume 141

Avis des lecteurs

Il n'y a actuellement aucun avis de lecteur. La note est basée sur 5 votes.

Titre original :

Categorical Logic and Type Theory: Volume 141

Contenu du livre :

Ce livre tente de donner une présentation systématique de la logique et de la théorie des types d'un point de vue catégorique, en utilisant le concept unificateur de catégorie fibrée.

Il s'adresse aux logiciens, aux théoriciens des types, aux théoriciens des catégories et aux informaticiens (théoriciens).

Autres informations sur le livre :

• ISBN : 9780444508539
• Auteur : B. Jacobs
• Éditeur : Elsevier Science & Technology
• Langue : anglais
• Reliure : Broché
• Année de publication : 2001
• Nombre de pages : 778