Typed lambda calculi and applications 9th international conference, TLCA 2009, Brasilia, Brazil, July 1-3, 2009. Proceedings /

Saved in:

Bibliographic Details
Other Authors:	Hutchison, David
Format:	eBook
Language:	English
Published:	Berlin, Heidelberg Springer-Verlag 2009.
Series:	Lecture Notes in Computer Science, 5608
Subjects:	Logic, Symbolic and mathematical Electronic data processing Algebra > Data processing Logic design Lambda calculus > Congresses.
Online Access:	Click here to view the full text content
Tags:	Add Tag No Tags, Be the first to tag this record!


LEADER	01496nmm a2200385 a 4500
001	vtls000058855
003	MY-ArUMP
005	20210731151239.0
007	cr nn 008mamaa
008	120309s2009 gw f j eng d
020			\|a 9783642022739
020			\|a 9783642022722
035			\|a (OCoLC)ocn769036240
039		9	\|a 201203091041 \|b SMT \|c 201102101135 \|d SMR \|c 201006230853 \|d RAR \|y 200911090837 \|z SMT
040			\|a MYPMP \|b eng \|c MYPMP \|e rda
245	0	0	\|a Typed lambda calculi and applications \|b 9th international conference, TLCA 2009, Brasilia, Brazil, July 1-3, 2009. Proceedings / \|c edited by David Hutchison ... [et al.]
264		1	\|a Berlin, Heidelberg \|b Springer-Verlag \|c 2009.
300			\|a 1 online resource \|b digital.
336			\|a text \|b txt \|2 rdacontent
337			\|a computer \|b c \|2 rdamedia
338			\|a online resource \|b cr \|2 rdacarrier
347			\|a text file \|b PDF \|2 rda
490		0	\|a Lecture Notes in Computer Science, \|x 0302-9743 ; \|v 5608
650		0	\|a Logic, Symbolic and mathematical
650		0	\|a Electronic data processing
650		0	\|a Algebra \|x Data processing
650		0	\|a Logic design
650		0	\|a Lambda calculus \|v Congresses.
700	1		\|a Hutchison, David.
773	0		\|t Springer eBooks
856	4	0	\|y Click here to view the full text content \|u http://dx.doi.org/10.1007/978-3-642-02273-9
942			\|2 lcc \|c BK-EBOOK
949			\|a VIRTUAITEM \|d 10000 \|x 9
999			\|c 34319 \|d 34319
952			\|0 0 \|1 0 \|2 lcc \|4 0 \|7 0 \|9 35237 \|a FSGM \|b FSGM \|d 2021-07-31 \|l 0 \|r 2021-07-31 \|w 2021-07-31 \|y BK-EBOOK

Similar Items