CATÁLOGO DE LA BIBLIOTECA DE LA FaMAF
Normal view MARC view ISBD view

Typed lambda calculi and applications : 9th International Conference, TICA 2009, Brasilia, Brazil, July 1-3, 2009 : proceedings / Pierre-Louis Curien (ed.).

By: (9º : International Conference on Typed Lambda Calculi and Applications (9º : 2009 : Brasilla, Brazil).
Contributor(s): Curien, Pierre-Louis [ed.].
Material type: materialTypeLabelBookSeries: Lecture notes in computer science, v. 5608; LNCS ; v. 5608.Publisher: Berlin ; Springer, c2009Description: xiii, 415 p. : il. ; 24 cm.ISBN: 9783642022722.Subject(s): Logic programming | Language classifications | Logics and meanings of programs | Mathematical logic | Formal languages | Deducton and theorem proving | Lambda calculus | Programación en lógica | Clasificación de lenguajes | Lógica y significado de programas | Lógica matemática | Lenguajes formales
Tags from this library: No tags from this library for this title. Log in to add tags.
Item type Current location Call number Status Date due Barcode Item holds
Libro Libro FaMAF
Sección Lecture Notes
C LNCS v. 5608 Available 21508
Total holds: 0

Incluye referencias bibliográficas e índice.

Horario de la Biblioteca: lunes a viernes de 8:30 a 18:00hs

Av. Medina Allende s/n , Ciudad Universitaria, Córdoba, Argentina

Tel: +54 351 5353701 int. 41127(Atención al Público) int. 41151(Dirección)

biblio@famaf.unc.edu.ar

publicofamaf@gmail.com



//