Relative properties of frame language

DOI10.1007/BF02948734zbMath0945.68056OpenAlexW2088577534MaRDI QIDQ1964362

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

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

Related Items (1)

Semantics of constructions. I: The traditional approach

Cites Work

• Categorical properties of logical frameworks
• A framework for defining logics
• Unnamed Item
• Unnamed Item

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