The top documents tagged [denotational proof methods]

Comparing Semantic and Syntactic Methods in Mechanized Proof Frameworks
Documents Comparing Semantic and Syntactic Methods in Mechanized Proof Frameworks

41 views