Bienvenue chez nous !
Mon Ex Libris

Extensional Constructs in Intensional Type Theory

(0)
Donner la première évaluation
Extensional Constructs in Intensional Type Theory presents a novel approach to the treatment of equality in Martin-Loef type theor...

Prix bas

CHF165.60

Impression sur demande - l'exemplaire sera recherché pour vous.

Couverture cartonnée

Souvent achetés ensemble

D’autres clients ont aussi acheté