Typed lambda calculi and applications : Third International Conference on Typed Lambda Calculi and Applications, TLCA '97, Nancy, France, April 2-4, 1997 : proceedings /

Bibliographic Details
Corporate Author:	International Conference on Typed Lambda Calculi and Applications Nancy, France
Other Authors:	Groote, Philippe (ed.), Hindley, James Roger, 1939- (ed.)
Format:	Conference Proceeding Book
Published:	Berlin : Springer, 1997.
Series:	Lecture notes in computer science ; v. 1210 LNCS ; v. 1210
Subjects:	Lógica matemática > Computación. Mathematical logic > Computation. Lógica y significado de programas. Logics and meanings of programs. Programación aplicativa. Applicative programming.

MARC


LEADER	00000nam a22000007a 4500
003	AR_CdUFM
005	20160908123246.0
008	120223s1997 gw\|\|\|\|\| \|\|\|\| 00\| 0 eng d
020			\|a 3540626883
040			\|a AR_CdUFM
111	2		\|a International Conference on Typed Lambda Calculi and Applications \|n (3º : \|d 1997 : \|c Nancy, France)
245	1	0	\|a Typed lambda calculi and applications : \|b Third International Conference on Typed Lambda Calculi and Applications, TLCA '97, Nancy, France, April 2-4, 1997 : proceedings / \|c ed. Philippe Groote, J. Roger Hindley.
260			\|a Berlin : \|b Springer, \|c 1997.
300			\|a viii, 404 p. : \|b il. ; \|c 24 cm.
490	0		\|a Lecture notes in computer science ; \|v v. 1210
490	0		\|a LNCS ; \|v v. 1210
650		4	\|a Lógica matemática \|x Computación.
650		4	\|a Mathematical logic \|x Computation.
650		4	\|a Lógica y significado de programas.
650		4	\|a Logics and meanings of programs.
650		4	\|a Programación aplicativa.
650		4	\|a Applicative programming.
700	1		\|9 6799 \|a Groote, Philippe, \|e ed.
700	1		\|9 7594 \|a Hindley, James Roger, \|e ed. \|d 1939-,
942			\|c LIBRO \|2 MSC
945			\|a AB
945			\|a MCR \|d 2012-02-23
952			\|0 0 \|1 0 \|4 0 \|6 C_LNCS_V__1210_000000000000000 \|7 0 \|9 10372 \|a MMA \|b MMA \|c LN \|d 2008-06-09 \|e FOMEC/Comp. \|l 0 \|o C LNCS v. 1210 \|p 14879 \|r 2013-08-26 00:00:00 \|w 2008-06-09 \|y LIBRO
999			\|c 8111 \|d 8111