Types for Proofs and Programs: Second International Workshop, Types 2002, Berg En Dal, the Netherlands, April 24-28, 2002, Selected Papers by

Lecture Notes in Computer Science

Types for Proofs and Programs: Second International Workshop, Types 2002, Berg En Dal, the Netherlands, April 24-28, 2002, Selected Papers

336 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 refereed selection of papers presented at the Second Annual Workshop of the Types Working Group (Computer-Assisted Reasoning based on Type Theory, EUIST project 29001), which was held April 24-28, 2002 in Hotel Erica, B...

Show More

Community Reviews

Loading...

Content Warnings

Loading...