Adjunction models for call-by-push-value with stacks (2005)

by Paul Blain Levy
Venue:Proceedings, 9th Conference on Category Theory and Computer Science, Ottawa, 2002, volume 69 of Electronic Notes in Theoretical Computer Science
Citations:10 - 6 self