Curry's type rules are complete with respect to the Fsemantics too (1983)

by R Hindley
Venue:Theor. Cornput. Sci