Start Over
You searched for: author_facet Curien, P.-L.

Search Results

Cover image for Typed lambda calculi and applications

Typed lambda calculi and applications

Location
Access Content Online
Cover image for Domains and lambda-calculi

Domains and lambda-calculi

Location Call # Status
Joyner - General Stacks QA9.5 .A43 1998 ✔ Available
Cover image for Categorical combinators, sequential algorithms, and functional programming

Categorical combinators, sequential algorithms, and functional programming

Location Call # Status
Joyner - General Stacks QA267.3 .C87 1993 ✔ Available
Cover image for Combinators and functional programming languages

Combinators and functional programming languages

Location Call # Status
Joyner - General Stacks QA76.7 .L33 1985 ✔ Available