4 citations · 6 across the 2 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2010★ 4 cited
Proceedings 5th International Workshop on Logical Frameworks and Meta-languages: Theory and Practice
Karl Crary, Marino Miculan
Type theories, logical frameworks and meta-languages form a common foundation for designing, implementing, and reasoning about formal languages and their semantics. They are centra…
cs.LO1998
A Natural Deduction style proof system for propositional -calculus and its formalization in inductive type theories
Marino Miculan
In this paper, we present a formalization of Kozen's propositional modal -calculus, in the Calculus of Inductive Constructions. We address several problematic issues, such as th…