A new formula for the execution of a categorical combinators (1986)

by R Lins
Venue:In 8th Conference on Automated Deduction (CADE), volume 230 of LNCS