Typed lambda calculi and applications : 11th International Conference, TLCA 2013, Eindhoven, the Netherlands, June 26-28, 2013 : proceedings /

Bibliographic Details
Other Authors:	Hasegawa, Masahito, 1970- (ed.)
Format:	Book
Language:	English
Published:	Berlin : Springer, 2013.
Series:	Lecture notes in computer science ; v. 7941 LNCS ; v. 7941
Subjects:	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.

MARC


LEADER	00000nam a22000007i 4500
003	AR_CdUFM
005	20160908124702.0
008	130514s2013 gw b 101 0 eng d
020			\|a 9783642389450
040			\|a HUA \|b eng \|c HUA \|e rda \|d OCLCO \|d OCLCQ \|d DLC \|d AR_CdUFM
245	1	0	\|a Typed lambda calculi and applications : \|b 11th International Conference, TLCA 2013, Eindhoven, the Netherlands, June 26-28, 2013 : proceedings / \|c Masahito Hasegawa (ed.).
246	3	0	\|a TLCA 2013
260			\|a Berlin : \|b Springer, \|c 2013.
300			\|a xii, 249 p. ; \|c 24 cm.
490	0		\|a Lecture notes in computer science ; \|v v. 7941
490	0		\|a LNCS ; \|v v. 7941
504			\|a Incluye referencias bibliográficas e índice.
541			\|a Donación del Dr. Miguel Pagano ; \|d 2013-10-10 ; \|e 21989 ; \|o Libro
650		4	\|a Logic programming.
650		4	\|a Language classifications.
650		4	\|a Logics and meanings of programs.
650		4	\|a Mathematical logic.
650		4	\|a Formal languages.
650		4	\|a Deducton and theorem proving.
650		4	\|a Lambda calculus
650		4	\|a Lenguajes de programación.
650		4	\|a Clasificación de lenguajes.
650		4	\|a Lógica y significado de programas.
650		4	\|a Lógica matemática.
650		4	\|a Lenguajes formales.
700	1		\|9 7245 \|a Hasegawa, Masahito, \|d 1970-, \|e ed.
942			\|2 CCS \|c LIBRO
945			\|a MCR \|d 2013-10-10
952			\|0 0 \|1 0 \|2 CCS \|4 0 \|6 C_LNCS_V_7941 \|7 0 \|9 22397 \|a MMA \|b MMA \|c LN \|d 2013-10-10 \|e Pagano Miguel \|l 0 \|o C LNCS v. 7941 \|p 21989 \|r 2013-10-10 00:00:00 \|w 2013-10-10 \|y LIBRO
999			\|c 16900 \|d 16899