ATENCIÓN: El lunes 14/9 estaremos cambiando nuestra plataforma, algunos servicios no estarán disponibles por 72hs.
Estamos trabajando para actualizar y mejorar nuestros servicios.
Pedimos disculpas por cualquier molestia que esto pueda ocasionar.

Por consultas y renovaciones llamar al 2902 1505 o enviar un email a consulta_bibcen@ort.edu.uy / consulta_bibpoc@ort.edu.uy.

Resultados de la búsqueda

Resultados 1 hasta 13 de 13 en 1 s
  Título/autor Items Biblioteca Ubicación  
IMPR Types for proofs and programs: international workshop, TYPES 2003, Torino, Italy, April 30-May 4, 2003 : revised selected papers
Berardi, Stefano ; ed. 3085 Berlin : Springer, (c)2004
1 CEN 005.131 BER 2003 Reservar
IMPR Types for proofs and programs: international workshop, TYPES 2002, Berg en Dal, The Netherlands April 34-28, 2002 : selected papers
Geuvers, Herman ; ed. 2646 Berlin : Springer, (c)2003
1 CEN 005.131 GEU 2002 Reservar
IMPR Types for proofs and programs: international workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004 : revised selected papers
Filliâtre, Jean-Christophe ; ed. 3839 Berlin : Springer, (c)2006
1 CEN 005.131 FIL 2004 Reservar
IMPR An introduction to mathematical logic and type theory: to truth through proof
Andrews, Peter B. 27 Dordrecht : Kluwer Academic, (c)2002
1 CEN 511.3 AND 2da. ed. Reservar
IMPR History and philosophy of constructive type theory
Sommaruga, Giovanni 290 Dordrecht : Kluwer Academic, (c)2000
1 CEN 511.3 SOM Reservar
TFDC Interpretación de KM3/ATL en Teoría de Tipos
Fornaro Rosado, Carlos Nicolás Montevideo : Universidad ORT Uruguay, 2013
0 CEN Disponible en línea No Reservable
TFDC A machine-checked proof of the Standardization Theorem in Lambda Calculus using multiple substitution
Copes Sabaj, Martín Montevideo : Universidad ORT Uruguay, 2018
0 CEN Disponible en línea No Reservable
IMPR A modern perspective on type theory: from its origins until today
Kamareddine, Fairouz 29 Dordrecht : Kluwer Academic, (c)2004
1 CEN 511.3 KAM Reservar
IMPR A type-theoretic framework for certified model transformations
Calegari, Daniel 6527 s.l. : s.n.
0 CEN 005.1 DAVf No Reservable
IMPR Types for proofs and programs: international workshop, TYPES 2007, Cividale del Friuli, Italy, May 2-5, 2005 : revised selected papers
Miculan, Marino ; ed. 4941 Berlin : Springer, (c)2008
1 CEN 005.131 MIC 2007 Reservar
IMPR Certified programming with dependent types: a pragmatic introduction to the Coq Proof Assistant
Chlipala, Adam Cambridge : The MIT Press, (c)2013
1 CEN 005.13 CHL Reservar
IMPR Experiment with a type-theoretic approach to the verification of model transformations
Calegari, Daniel n.8 Montevideo : Universidad ORT Uruguay. Facultad de Ingeniería, 2009
1 CEN 005.13 CALe Reservar
IMPR A type-theoretic framework for certified model transformations
Calegari, Daniel n.9 Montevideo : Universidad ORT Uruguay. Facultad de Ingeniería, 2010
2 CEN 005.13 CAL Reservar
Chinese Corner