Normal view MARC view ISBD view

Typed lambda calculi and applications : 11th International Conference, TLCA 2013, Eindhoven, the Netherlands, June 26-28, 2013 : proceedings / Masahito Hasegawa (ed.).

Contributor(s): Hasegawa, Masahito, 1970- [ed.].
Material type: materialTypeLabelBookSeries: Lecture notes in computer science ; v. 7941; LNCS ; v. 7941.Publisher: Berlin : Springer, 2013Description: xii, 249 p. ; 24 cm.ISBN: 9783642389450 .Other title: TLCA 2013.Subject(s): Logic programming | Language classifications | Logics and meanings of programs | Mathematical logic | Formal languages | Deducton and theorem proving | Lambda calculus | Lenguajes de programación | 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.
Item type Current location Call number Status Date due Barcode Item holds
Libro Libro FaMAF
Sección Lecture Notes
C LNCS v. 7941 Available 21989
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)