Automatic Decidability and Combinability Revisited.

Christopher Lynch, Duc-Khanh Tran

Browse the full CADE paper archive.