You need to sign in or sign up before continuing.

Types for Proofs and Programs: International Conference, Types 2008 Torino, Italy, March 26-29, 2008 Revised Selected Papers by

Lecture Notes in Computer Science

Types for Proofs and Programs: International Conference, Types 2008 Torino, Italy, March 26-29, 2008 Revised Selected Papers

323 pages paperback

7 editions

nonfiction computer science health informative medium-paced
More Options

Read With Others

Book Information

Powered by AI (Beta)
Loading...

Description

These proceedings contain a selection of refereed papers presented at or - lated to the Annual Workshop of the TYPES project (EU coordination action 510996), which was held during March 26-29, 2008 in Turin, Italy. The topic of this workshop, and ...

Show More

Community Reviews

Loading...

Content Warnings

Loading...