International Workshop TYPES '96 (1996 Aussois, France)

International Workshop TYPES '96 (1996 Aussois, France)

1 ספרים במאגר

ספרים

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

Types for proofs and programs

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