Reduction and Introducers in d-contexts.

Alexandre Bazin, Giacomo Kahn

Browse the full ICFCA paper archive.