Author Results for Callaghan Paul, 1970-

Callaghan,Paul,
TYPES 2000,Durham, England)

1
Types for proofs and programs International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000 : selected papers

Cover is for reference only
Corporate Authors: TYPES 2000 (2000 Durham, England)
Group Author: Callaghan Paul, 1970-
Published: Springer,
Publication Dates: c2002.
Call Number: O141.2-532/T992/2000
Book
Save to List
Saved in:
Search Tools: Get RSS Feed — Email this Search —