Typed lambda calculi and applications /

Bibliographic Details
Corporate Author:	International Conference on Typed Lambda Calculi and Aplications Edinburgh, UK
Other Authors:	Dezani-Ciancaglini, Mariangiola (ed.), Plotkin, Gordon, 1946- (ed.,)
Format:	Conference Proceeding Book
Published:	Berlin : Springer, 1995.
Series:	Lecture notes in computer science ; v. 902 LNCS ; v. 902
Subjects:	Lógica matemática-Computación. Mathematical logic-Computation. Lógica y significado de programas. Logics and meanings of programs. Programación aplicada. Applicative programming.

MARC


LEADER	00000nam a22000007a 4500
003	AR_CdUFM
005	20160908123343.0
008	120229s1995 gw\|\|\|\|\| \|\|\|\| 00\| 0 eng d
020			\|a 354059048X
040			\|a AR_CdUFM
111	2		\|a International Conference on Typed Lambda Calculi and Aplications \|n (2º : \|d 1995 : \|c Edinburgh, UK)
245	1	0	\|a Typed lambda calculi and applications / \|c ed. Mariangiola Dezani-Ciancaglini, Gordon Plotkin.
260			\|a Berlin : \|b Springer, \|c 1995.
300			\|a viii, 442 p. : \|b il. ; \|c 24 cm.
490	0		\|a Lecture notes in computer science ; \|v v. 902
490	0		\|a LNCS ; \|v v. 902
650		4	\|a Lógica matemática-Computación.
650		4	\|a Mathematical logic-Computation.
650		4	\|a Lógica y significado de programas.
650		4	\|a Logics and meanings of programs.
650		4	\|a Programación aplicada.
650		4	\|a Applicative programming.
700	1		\|9 4111 \|a Dezani-Ciancaglini, Mariangiola, \|e ed.
700	1		\|9 13578 \|a Plotkin, Gordon, \|e ed., \|d 1946-
942			\|c LIBRO \|2
945			\|a AB
945			\|a MCR \|d 2012-02-29
952			\|0 0 \|1 0 \|4 0 \|6 C_LNCS_V__902_000000000000000 \|7 0 \|9 11019 \|a MMA \|b MMA \|c LN \|d 2008-06-09 \|e FOMEC/Comp. \|l 0 \|o C LNCS v. 902 \|p 15592 \|r 2013-08-21 \|w 2008-06-09 \|y LIBRO
999			\|c 8629 \|d 8629