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: P
Number of items: 1.

P

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 Thu Apr 18 23:03:42 2024 BST.
SensusAccess
Feedback