Electronic Proceedings in Theoretical Computer Science

ISSN: 2075-2180
Publisher: Open Publishing Association

Publications (1)

close-button

Types of publications

Journal article
Unpublished / Preprint

Publication year

From
To

Abstract

Systematic translation of formalizations of type theory from intrinsic to extrinsic style (2021) Rabe F, Roux N Conference contribution