Coinductive axiomatization of recursive type equality and subtyping

Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt