Electronic Proceedings in Theoretical Computer Science

ISSN: 2075-2180
Publisher: Open Publishing Association

Publications (3)

Systematic translation of formalizations of type theory from intrinsic to extrinsic style (2021) Rabe F, Roux N Conference contribution Rapid prototyping formal systems in MMT: 5 case studies (2019) Müller D, Rabe F Conference contribution GF + MMT = GLF from language to semantics through LF (2019) Kohlhase M, Schaefer JF Conference contribution