International Workshop TYPES '96 (1996 Aussois, France)

International Workshop TYPES '96 (1996 Aussois, France)

1 books in the database

Books

Types for proofs and programsInternational Workshop TYPES '96 (1996 Aussois, France)

Types for proofs and programs

International Workshop TYPES '96 (1996 Aussois, France) · 1998