- ECU Libraries Catalog

Preview Version: You're viewing our new catalog design. Share your feedback or return to the current catalog.

Start Over

You searched for: author_facet Ronchi Della Rocca, S.

Showing 1 - 4 of 4 results

Search Results

Cover image for Typed lambda calculi and applications

Typed lambda calculi and applications

by International Conference on Typed Lambda Calculi and Applications
2007
Format: Electronic

Location
Access Content Online

Cover image for Automata, languages, and programming

Automata, languages, and programming

by ICALP 89
1989
Format: Book

Joyner Library - General Stacks

Call Number: QA267 .I23 1989

Cover image for Theoretical computer science

Theoretical computer science

by Italian Conference on Theoretical Computer Science
2001
Format: Electronic

Location
Access Content Online

Cover image for The parametric lambda calculus

The parametric lambda calculus

by Ronchi Della Rocca, S.
2004
Format: Book

Joyner Library - General Stacks

Call Number: QA9.5 .R66 2004