Swinging types = functions + relations + transition systems (0)

by P Padawitz
Venue:Theoretical Computer Science