DMCA

Induction is Not Derivable in Second Order Dependent Type Theory (0)

Cached

Download Links

by Herman Geuvers
Citations:6 - 0 self