Reasoning in Extensional Type Theory with Equality.

Chad E. Brown

Browse the full CADE paper archive.