4 citations · 9 across the 5 of their papers we have counts for
1 paper · 1 filter
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…