Structuring theories on consequence (0)

by J Fiadeiro, A Sernadas
Venue:Recent Trends in Data Type Specification, volume 332 of Lecture