A modern perspective on type theory : from its origins until today [ Livre] / Fairouz, Kamareddine ; Twan, Laan ; Rob, Nederpelt
Langue: Anglais ; de l'oeuvre originale, Anglais.Publication : Dordrecht : Kluwer Academic Publishers, 2010Description : xiv-357 p.ISBN: 9789048166398 .Classification:| Current location | Call number | Status | Notes | Date due | Barcode |
|---|---|---|---|---|---|
| ENS Rennes - Bibliothèque Informatique | F 4 1 KAM (Browse shelf) | Available | F 4 1 Logique mathématique | 027919 |