Categorical properties of logical frameworks

DOI10.1017/S0960129596002058MaRDI QIDQ2785694zbMATH OpenOpenAlexFDO

Authors Yuxi Fu

Publication date 25 February 1997

Published in MSCS. Mathematical Structures in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/s0960129596002058

zbMATH Keywords

externalizationfibrationinternal categoryinternal definabilityinternal typed calculuslogical frameworkterm models of typed calculi

Mathematics Subject Classification ID

Logic in computer science (03B70) Categorical logic, topoi (03G30)

Recommendations

• Relative properties of frame language
• Logical systems. I: Internal calculi.
• A framework for defining logics
• The Twelf Proof Assistant
• scientific article; zbMATH DE number 2110615

Cited in

(7)

• Structures definable in polymorphism
• Relative properties of frame language
• Categorial fibring of logics with terms and binding operators
• Natural models of homotopy type theory
• RELATIVE CATEGORICITY AND ABSTRACTION PRINCIPLES
• Formal categorical reasoning
• Semantics of constructions. I: The traditional approach

This page was built for publication: Categorical properties of logical frameworks

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