An edition of Typed lambda calculi and applications (2005)

Typed lambda calculi and applications

7th international conference, TLCA 2005, Nara, Japan, April 21-23, 2005 : proceedings

by

Cover of: Typed lambda calculi and applications by International Conference on Typed Lambda Calculi and Applications (7th 2005 Nara, Japan), International Conference on Typed Lambda Calculi and Applications (7th 2005 Nara, Japan)
Locate

My Reading Lists:

Create a new list
Notes
Notes

Check nearby libraries

Buy this book

Last edited by ImportBot
October 4, 2021 | History
Edit
An edition of Typed lambda calculi and applications (2005)

Typed lambda calculi and applications

7th international conference, TLCA 2005, Nara, Japan, April 21-23, 2005 : proceedings

by

This work doesn't have a description yet. Can you add one?

Publish Date
Publisher
Springer
Language
English
Pages
432

Check nearby libraries

Buy this book

Subjects

Congresses, Lambda calculus, Logic design, Computer science, Informatique, Informatique appliquée, Lambda-calcul typé, Lambda-calcul, Congrès, Calculus
Edition Availability
Cover of: Typed lambda calculi and applications
Typed lambda calculi and applications: 7th international conference, TLCA 2005, Nara, Japan, April 21-23, 2005 : proceedings
2005, Springer
in English

Add another edition?

Book Details

Edition Notes

Includes bibliographical references and index.
Also available via the World Wide Web.

Published in
Berlin
Series
Lecture notes in computer science,, 3461
Genre
Congresses.
Other Titles
TLCA 2005

Classifications

Dewey Decimal Class
511.3
Library of Congress
QA9.5 .I58 2005, QA75.5-76.95

The Physical Object

Pagination
xi, 432 p. :
Number of pages
432

Edition Identifiers

Open Library
OL3480349M
ISBN 10
3540255931
LCCN
2005924303
OCLC/WorldCat
60285877
LibraryThing
4109874
Goodreads
3495053

Work Identifiers

Work ID
OL5894966W

Source records

Internet Archive item record
Internet Archive item record
Library of Congress MARC record
Better World Books record
marc_columbia MARC record
Harvard University record

Community Reviews (0)

No community reviews have been submitted for this work.

Lists

Loading indicator
Loading carousel
Loading indicator
Loading carousel

History

Download catalog record: RDF / JSON
October 4, 2021 Edited by ImportBot import existing book
July 25, 2020 Edited by ImportBot import existing book
July 7, 2019 Edited by MARC Bot import existing book
December 5, 2010 Edited by Open Library Bot Added subjects from MARC records.
December 10, 2009 Created by WorkBot add works page