OnMints’ reductions for ccc-Calculus (1993)

by Yohji Akama
Venue:In Typed Lambda Calculus and Applications, number 664 in LNCS