DMCA

Quotients in Simple Type Theory (1994)

Cached

Download Links

by Bart Jacobs
Venue:Manuscript, Math. Inst
Citations:3 - 1 self