Relating two models of hardware’, in: Category Theory and Computer Science, edited by (0)

by G Winskel
Venue:Lecture