Categorical properties of logical frameworks

From MaRDI portal

Publication:2785694

Jump to:navigation, search

DOI10.1017/S0960129596002058zbMath0876.03037OpenAlexW2164166348MaRDI QIDQ2785694

Publication date: 25 February 1997

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

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

zbMATH Keywords

fibration logical framework internal category externalization internal definability internal typed calculus term models of typed calculi

Mathematics Subject Classification ID

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

Related Items (4)

Relative properties of frame language ⋮ Semantics of constructions. I: The traditional approach ⋮ Structures definable in polymorphism ⋮ Natural models of homotopy type theory

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

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:2785694&oldid=15672720"