- Tytuł:
- Coinductive axiomatization of recursive type equality and subtyping
- Autorzy:
-
Brandt, M.
Henglein, F. - Data publikacji:
- 1998
- Słowa kluczowe:
-
subtyping
type equality
recursive type
coercion
coinduction
operational interpretation
axiomatization
inference system
inference rule
fixpoint - Pokaż więcej
- Dostawca treści:
- BazTech