Heq

swMATH33272MaRDI QIDQ44981FDOQ44981

Author name not available (Why is that?)

Cited In (2)

• Strongly typed term representations in Coq
• Congruence Closure in Intensional Type Theory

This page was built for software: Heq