Sign in
Join Literal
Domains and Lambda-Calculi
Roberto M. Amadio
Want to read
Sign up to use
Roberto M. Amadio
Domains and Lambda-Calculi
Roberto M. Amadio,
Pierre-Louis Curien,
Amadio Roberto M.
Want to read
Sign up to use
Want to read
Sign up to use
Overview
Reviews
Highlights
Editions
Graduate text on mathematical foundations of programming languages, and operational and denotational semantics.
Discover more books like Domains and Lambda-Calculi