Programming up to Congruence

DOI10.1145/2676726.2676974zbMath1345.68034OpenAlexW2104815907MaRDI QIDQ2819823

Vilhelm Sjöberg, Stephanie Weirich

Publication date: 29 September 2016

Published in: Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/2676726.2676974

zbMATH Keywords

dependent typescongruence closure

Mathematics Subject Classification ID

Theory of programming languages (68N15) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (4)

Unified Syntax with Iso-types ⋮ Type Theory Unchained : Extending Agda with User-Defined Rewrite Rules ⋮ Unnamed Item ⋮ Congruence Closure in Intensional Type Theory

This page was built for publication: Programming up to Congruence