Pre-logical Relations (1999)

by Furio Honsell, Donald Sannella