Uncategorised

Universal algebra in unimath

HIGHLIGHTS What: The authors show how to implement term algebras over a signature without resorting to general inductive constructions (currently

Scroll to Top

Add A Knowledge Base Question !

+ = Verify Human or Spambot ?