Typed lambda calculi and applications : 9th international conference, TLCA 2009, Brasília, Brazil, July 1-3, 2009 : proceedings /
Saved in:
| Meeting name: | International Conference on Typed Lambda Calculi and Applications (9th : 2009 : Brasilla, Brazil) |
|---|---|
| Imprint: | Berlin ; New York : Springer-Verlag, ©2009. |
| Description: | 1 online resource (xiii, 415 pages) : illustrations. |
| Language: | English |
| Series: | Lecture notes in computer science, 0302-9743 ; 5608 LNCS sublibrary. SL 1, Theoretical computer science and general issues Lecture notes in computer science ; 5608. LNCS sublibrary. SL 1, Theoretical computer science and general issues. |
| Subject: | |
| Format: | E-Resource Book |
| URL for this record: | http://pi.lib.uchicago.edu/1001/cat/bib/11072874 |
MARC
| LEADER | 00000cam a2200000Ia 4500 | ||
|---|---|---|---|
| 001 | 11072874 | ||
| 005 | 20170630045746.4 | ||
| 006 | m o d | ||
| 007 | cr un||||||||| | ||
| 008 | 090824s2009 gw a ob 101 0 eng d | ||
| 003 | ICU | ||
| 010 | |a 2009938929 | ||
| 040 | |a GW5XE |b eng |e pn |c GW5XE |d WAU |d IXA |d OCLCQ |d UKMGB |d OCLCF |d BEDGE |d NLGGC |d OCLCO |d E7B |d OCLCQ |d OCLCO |d COO |d OCL |d OCLCQ |d VT2 | ||
| 016 | 7 | |a 015293133 |2 Uk | |
| 019 | |a 433413584 |a 647825692 |a 964890199 | ||
| 020 | |a 9783642022739 | ||
| 020 | |a 3642022731 | ||
| 020 | |z 9783642022722 | ||
| 020 | |z 3642022723 | ||
| 035 | |a (OCoLC)432712478 |z (OCoLC)433413584 |z (OCoLC)647825692 |z (OCoLC)964890199 | ||
| 037 | |a 978-3-642-02272-2 |b Springer |n http://www.springerlink.com | ||
| 050 | 4 | |a QA9.5 |b .I58 2009 | |
| 084 | |a 54.10 |2 bcl | ||
| 049 | |a MAIN | ||
| 111 | 2 | |a International Conference on Typed Lambda Calculi and Applications |n (9th : |d 2009 : |c Brasilla, Brazil) | |
| 245 | 1 | 0 | |a Typed lambda calculi and applications : |b 9th international conference, TLCA 2009, Brasília, Brazil, July 1-3, 2009 : proceedings / |c Pierre-Louis Curien (ed.). |
| 246 | 3 | 0 | |a TLCA 2009 |
| 260 | |a Berlin ; |a New York : |b Springer-Verlag, |c ©2009. | ||
| 300 | |a 1 online resource (xiii, 415 pages) : |b illustrations. | ||
| 336 | |a text |b txt |2 rdacontent |0 http://id.loc.gov/vocabulary/contentTypes/txt | ||
| 337 | |a computer |b c |2 rdamedia |0 http://id.loc.gov/vocabulary/mediaTypes/c | ||
| 338 | |a online resource |b cr |2 rdacarrier |0 http://id.loc.gov/vocabulary/carriers/cr | ||
| 490 | 1 | |a Lecture notes in computer science, |x 0302-9743 ; |v 5608 | |
| 490 | 1 | |a LNCS sublibrary. SL 1, Theoretical computer science and general issues | |
| 588 | 0 | |a Print version record. | |
| 504 | |a Includes bibliographical references and index. | ||
| 650 | 0 | |a Lambda calculus |v Congresses. | |
| 650 | 7 | |a Informatique. |2 eclas | |
| 650 | 7 | |a Lambda calculus. |2 fast |0 (OCoLC)fst00991011 | |
| 655 | 4 | |a Electronic books. | |
| 655 | 7 | |a Conference papers and proceedings. |2 fast |0 (OCoLC)fst01423772 | |
| 700 | 1 | |a Curien, P.-L. |q (Pierre-Louis) |0 http://id.loc.gov/authorities/names/n85184805 |1 http://viaf.org/viaf/93441320 | |
| 776 | 0 | 8 | |i Print version: |a International Conference on Typed Lambda Calculi and Applications (9th : 2009 : Brasilla, Brazil). |t Typed lambda calculi and applications. |d Berlin ; New York : Springer-Verlag, ©2009 |z 9783642022722 |w (OCoLC)401156611 |
| 830 | 0 | |a Lecture notes in computer science ; |v 5608. | |
| 830 | 0 | |a LNCS sublibrary. |n SL 1, |p Theoretical computer science and general issues. | |
| 856 | 4 | 0 | |u http://link.springer.com/10.1007/978-3-642-02273-9 |y SpringerLink |
| 903 | |a HeVa | ||
| 929 | |a eresource | ||
| 999 | f | f | |i abc6450f-3250-582c-a0b0-a3e6033134a3 |s 353dab0a-5973-5bb1-9bfa-c8396dd2c0cb |
| 928 | |t Library of Congress classification |a QA9.5 .I58 2009 |l Online |c UC-FullText |u http://link.springer.com/10.1007/978-3-642-02273-9 |z SpringerLink |g ebooks |i 9881473 | ||