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 [ed.]
.
Material type: 
BookSeries: 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
| Item type | Current location | Call number | Status | Date due | Barcode | Item holds |
|---|---|---|---|---|---|---|
Libro
|
FaMAF Sección Lecture Notes | C LNCS v. 7941 | Available | 21989 |
Total holds: 0
Incluye referencias bibliográficas e índice.