Zermelo's Well-Ordering Theorem in Type Theory

Cached

Download Links

by Danko Ilik