foundational paper in type theory
C59007
concept
A foundational paper in type theory is a seminal scholarly work that introduces or rigorously formalizes core concepts, systems, or results that shape the theoretical and practical development of type systems in logic and computer science.
Instances (1)
| Instance | Via concept surface |
|---|---|
| A Behavioral Notion of Subtyping | — |