Timoshenko, S.
Théorie des Constructions / [Impreso] S. Timoshenko, D.H. Young - [Primera edición] - 552 páginas : Ilustraciones a blanco y negro, figuras, gráficos ;16 x 24 centímetros.
Sala general / a domicilio
L'objet de cette thèse est la méta-théorie du Calcul des Constructions Inductives (CCI), c'est à dire les Calcul des Constructions étendu par des types et des prédicats inductifs. Le Calcul des Constructions a été présenté en 1985 par Thierry Coquand. Il s'agit d'un lambda-calcul typé qui, à travers l'isomorphisme dit de Curry-Howard, peut-être vu comme un formalisme logique. Ce système qui étend à la fois la logique d'ordre superieur de Church et les systèmes de Martin-Löf est particulièrement expressif du point de vue algorithmique et peut facilement être mis en oeuvre sur ordinateur.
Texto en ingles
FRANCIA
624.176 / T56
Théorie des Constructions / [Impreso] S. Timoshenko, D.H. Young - [Primera edición] - 552 páginas : Ilustraciones a blanco y negro, figuras, gráficos ;16 x 24 centímetros.
Sala general / a domicilio
L'objet de cette thèse est la méta-théorie du Calcul des Constructions Inductives (CCI), c'est à dire les Calcul des Constructions étendu par des types et des prédicats inductifs. Le Calcul des Constructions a été présenté en 1985 par Thierry Coquand. Il s'agit d'un lambda-calcul typé qui, à travers l'isomorphisme dit de Curry-Howard, peut-être vu comme un formalisme logique. Ce système qui étend à la fois la logique d'ordre superieur de Church et les systèmes de Martin-Löf est particulièrement expressif du point de vue algorithmique et peut facilement être mis en oeuvre sur ordinateur.
Texto en ingles
FRANCIA
624.176 / T56
Av. Garcilazo S/N. Tamburco-Abancay-Apurímac-Perú
(51) 083-321945