Login / Signup

The Algebra of Equality Proofs.

Aaron StumpLi-Yang Tan
Published in: RTA (2005)
Keyphrases