Types for proofs and programs : International workshop TYPES '94 Bastad, Sweden, June 6-10, 1994 Selected papers /

Bibliographic Details
Corporate Author:	International Workshop TYPES ’94 Bastad, Sweden
Other Authors:	Dybjer, Peter (ed.), Nordström, Bengt (ed.)
Format:	Conference Proceeding Book
Published:	Berlin : Springer, 1995.
Series:	Lecture notes in computer science ; v. 996 LNCS ; v. 996
Subjects:	Lógica matemática. Mathematical logic. Programs-Specification. Programas-Especificación. Programs-Verification. Programas-Verificación. Programming languages. Lenguajes de programación.

MARC


LEADER	00000nam a22000007a 4500
003	AR_CdUFM
005	20160908122357.0
008	110511s1995 gw\|\|\|\|\| \|\|\|\| 00\| 0 eng d
020			\|a 3540605797
040			\|a AR_CdUFM \|c AR_CdUFM
111	2		\|a International Workshop TYPES ’94 \|d (1994 : \|c Bastad, Sweden)
245	0	0	\|a Types for proofs and programs : \|b International workshop TYPES '94 Bastad, Sweden, June 6-10, 1994 Selected papers / \|c edited by Peter Dybjer, Bengt Nordström.
260			\|a Berlin : \|b Springer, \|c 1995.
300			\|a x, 202 p. : \|b il. ; \|c 24 cm.
490	0		\|a Lecture notes in computer science ; \|v v. 996
490	0		\|a LNCS ; \|v v. 996
650		4	\|a Lógica matemática.
650		4	\|a Mathematical logic.
650		4	\|a Programs-Specification.
650		4	\|a Programas-Especificación.
650		4	\|a Programs-Verification.
650		4	\|a Programas-Verificación.
650		4	\|a Programming languages.
650		4	\|a Lenguajes de programación.
700	1		\|9 4600 \|a Dybjer, Peter, \|e ed.
700	1		\|9 12481 \|a Nordström, Bengt, \|e ed.
942			\|c LIBRO \|2
945			\|a MCR \|d 2012-03-08
952			\|0 0 \|1 0 \|4 0 \|6 C_LNCS_V__996_000000000000000 \|7 0 \|9 5178 \|a MMA \|b MMA \|c LN \|d 2008-06-09 \|e Asoc. Coop. FAMAF \|l 0 \|o C LNCS v. 996 \|p 12303 \|r 2013-08-22 00:00:00 \|w 2008-06-09 \|y LIBRO
999			\|c 3860 \|d 3860