Ronchi Della Rocca S.,\ Models for theories of functions strictly depending on their arguments", (abstract (1986)

by M Dezani-Ciancaglini, F Honsell
Venue:Journal of Symbolic Logic