Menu

Stefano Berardi

1 published title

Types for proofs and programs : international workshop, TYPES 2003, Torino, Italy, April 30-May 4, 2003 : revised selected papers

(Contributor)

1 edition

  • ISBN: 3540221646
  • Springer
  • 2004
  • Details

obnb.uk is a Good Stuff website.