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 (1998) Subtyping and Inheritance for Categorical Datatypes. In: Theories of Types and Proofs (TTP) - Kyoto. RIMS Lecture Notes 1023 . (KAR id:21686)
Format: PDF Format: Postscript

This list was generated on Thu Apr 18 22:39:15 2024 BST.
SensusAccess
Feedback