Browse by Journal
Number of items: 1.
Poll, Erik (1998) Subtyping and Inheritance for Categorical Datatypes. In: Theories of Types and Proofs (TTP) - Kyoto. RIMS Lecture Notes 1023 . (KAR id:21686) |
Poll, Erik (1998) Subtyping and Inheritance for Categorical Datatypes. In: Theories of Types and Proofs (TTP) - Kyoto. RIMS Lecture Notes 1023 . (KAR id:21686) |