FAU.de
Deutsch
Login
Home
Publications
Research Grants
Inventions & Patents
Awards
Additional Research Activities
Faculties & Institutions
Research Areas
Electronic Proceedings in Theoretical Computer Science
ISSN:
2075-2180
Publisher:
Open Publishing Association
Publications (1)
Types of publications
Journal article
Journal article
Unpublished / Preprint
Unpublished / Preprint
Publication year
From
To
Abstract
Filters (inactive)
Systematic translation of formalizations of type theory from intrinsic to extrinsic style (2021)
Rabe F, Roux N
Conference contribution