Browse by Journal

Group by: Creator's name | Item Type | Date | No Grouping

Jump to: 1998

Number of items: 1.

1998

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

This list was generated on Wed May 1 23:20:12 2024 BST.