Normal view
MARC view
Type theory Congresses (Topical Term)
Machine generated authority record.
Work cat.: (AT-ISTA): TYPES '98 (1998 : Benediktinerabtei Irsee, Germany) 25495, Types for proofs and programs :, 1999.