Categorical properties of logical frameworks

From MaRDI portal

Revision as of 16:14, 3 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

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"