M. Dezani-Ciancaglini
Author detail
4 featured books
Bookitis has not yet captured a biography for this author, but the catalog links below show the books currently associated with this profile.
OL2682691A
Overview
Catalog identity and bibliographic footprint for this author.
4 representative editions
Catalog identity
How this author appears inside the active Bookitis catalog.
Display name
Source identifier
Featured books
Representative editions for works actually authored by this person.
- Image source: Open LibraryAL
Automata, languages and programming
cover - Image source: Open LibraryIS
International Symposium on Programming
cover - TOTheories of types and proofsM. Dezani-Ciancaglini
Theories of types and proofs
no cover - TLTyped Lambda Calculi and Applic...M. Dezani-Ciancaglini
Typed Lambda Calculi and Applications
no cover
Works in catalog
Quick navigation into the work-level grouping pages behind the featured books.