Matches in Library of Congress for { <http://lccn.loc.gov/2009938929> ?p ?o. }
Showing items 1 to 22 of
22
with 100 items per page.
- 2009938929 alternative "TICA 2009".
- 2009938929 contributor B11732822.
- 2009938929 contributor B11732823.
- 2009938929 created "c2009.".
- 2009938929 date "2009".
- 2009938929 date "c2009.".
- 2009938929 dateCopyrighted "c2009.".
- 2009938929 description "Includes bibliographical references and index.".
- 2009938929 extent "xiii, 415 p. :".
- 2009938929 identifier "3642022723".
- 2009938929 identifier "9783642022722".
- 2009938929 isPartOf "Lecture notes in computer science ; 5608".
- 2009938929 isPartOf "Lecture notes in computer science ; 5608.".
- 2009938929 issued "2009".
- 2009938929 issued "c2009.".
- 2009938929 language "eng".
- 2009938929 publisher "Berlin ; New York : Springer-Verlag,".
- 2009938929 subject "Lambda calculus Congresses.".
- 2009938929 subject "QA9.5 .I58 2009".
- 2009938929 title "TICA 2009".
- 2009938929 title "Typed lambda calculi and applications : 9th international conference, TICA 2009, Brasilia, Brazil, July 1-3, 2009 : proceedings / Pierre-Louis Curien (ed.).".
- 2009938929 type "text".