On Mints's Reduction for CCC-Calculus (1993)

by Y Akama
Venue:Lecture Notes in Computer Science 664