Browse by Journal
Jump to: 1997
Number of items: 1.
1997
Poll, Erik (1997) Subtyping and Inheritance for Inductive Types. In: Proceedings of TYPES'97 Workshop on Subtyping, inheritance and modular development of proofs, Durham, UK. . (KAR id:21456) |