Rules of definitional reflection (1993)

by P Schroeder-Heister
Venue:Proc. of LICS’93