Start Over
You searched for: author_facet Dezani-Ciancaglini, M.

Search Results

Cover image for Inter Symposium on Programming

Inter Symposium on Programming

Location
Access Content Online
Cover image for Theories of types and proofs

Theories of types and proofs

Location
Access Content Online
Cover image for Typed lambda calculi and applications

Typed lambda calculi and applications

Location
Access Content Online
Cover image for Typed lambda calculi and applications

Typed lambda calculi and applications

Location Call # Status
Joyner - General Stacks QA9.5 .I58 1995 ✔ Available
Cover image for Automata, languages, and programming

Automata, languages, and programming

Location Call # Status
Joyner - General Stacks QA267 .I23 1989 ✔ Available