Equational type logic (1990)

by V Manca, A Salibra, G Scollo
Venue:Theoretical Computer Science