Elimination with a motive (2000)

by Conor Mcbride
Venue:In Proc. TYPES