Relative properties of frame language

DOI10.1007/BF02948734MaRDI QIDQ1964362zbMATH OpenOpenAlexFDO

Authors Yuxi Fu

Publication date 10 April 2000

Published in Journal of Computer Science and Technology (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/bf02948734

zbMATH Keywords

Leibniz equality

Mathematics Subject Classification ID

Coding and information theory (compaction, compression, models of communication, encoding schemes, etc.) (aspects in computer science) (68P30) Semantics in the theory of computing (68Q55)

Recommendations

• Categorical properties of logical frameworks
• Equivalences between logics and their representing type theories
• scientific article; zbMATH DE number 65531
• Encoding modal logics in logical frameworks
• A framework for defining logics

Cites work

• A framework for defining logics
• Categorical properties of logical frameworks
• scientific article; zbMATH DE number 3904807 (Why is no real title available?)
• scientific article; zbMATH DE number 50149 (Why is no real title available?)

Cited in

(2)

• Categorical properties of logical frameworks
• Semantics of constructions. I: The traditional approach

This page was built for publication: Relative properties of frame language

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