Provable Isomorphisms and Domain Equations in Models of Typed Languages (Preliminary Version)

Kim B. Bruce, Giuseppe Longo

Browse the full STOC paper archive.