Typed lambda calculi and applications

Loading edition detail...

Preparing this view.

Typed lambda calculi and applications

International Conference on Typed Lambda Calculi and Applications (7th 2005 Nara, Japan)

Bookitis Pick

Cover for Typed lambda calculi and applications

Image source: Open Library

International Conference on Typed Lambda Calculi and Applications (7th 2005 Nara, Japan)Published 2005cover on file

This page shows the publication-specific record: publisher, date, identifiers, and all of the context needed to decide whether this is the copy you want.

Main catalog entry More like this

Publisher	Springer
Pages	432
Search language	english
ISBN_10	3-540-25593-1 primary

Other editions of this title

Publication-specific alternatives linked to the same work.

No other linked editions are currently available for this work in the active snapshot.