Skip to main content
Kent Academic Repository
Simple search | Advanced search

Browse by Journal

[up] Up a level
Group by: Creator's name | Item Type | Date | No Grouping
Jump to: Conference or workshop item
Number of items: 1.

Conference or workshop item

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)
Format: Other Format: PDF

This list was generated on Wed May 1 22:44:09 2024 BST.
SensusAccess
Feedback