Typed Lambda Calculi and Applications

Loading edition detail...

Preparing this view.

Typed Lambda Calculi and Applications

M. Dezani-Ciancaglini

Bookitis Pick

Typed Lambda Calculi and ApplicationsM. Dezani-Ciancaglini

M. Dezani-CiancagliniPublished January 1995

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	442
Search language	english
ISBN_13	978-0-387-59048-6 primary
ISBN_10	0-387-59048-X 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.