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