Adequate and computational encodings in the logical framework Dedukti

DOI10.4230/LIPICS.FSCD.2022.25MaRDI QIDQ6544121zbMATHFDO

Authors Thiago Felicissimo

Publication date 27 May 2024

zbMATH Keywords

type theoryrewritinglogical frameworkspure type systemseDdukti

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Cited in

(1)

• Sharing proofs with predicative theories through universe-polymorphic elaboration

This page was built for publication: Adequate and computational encodings in the logical framework Dedukti

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6544121)