Author Search Results

1

Cover Image

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

Published 2009

Other Authors: '; “...Berardi, Stefano....”
Get full text

Electronic

Cannot write session to /tmp/vufind_sessions/sess_3k8hsoiccard56q2m2hnln8eq4