Original language | English |
---|---|
Pages (from-to) | 75-110 |
Number of pages | 36 |
Journal | Theory and Applications of Categories |
Volume | 14 |
Publication status | Published - 1 Jan 2005 |
Adjunction Models for Call-by-Push-Value with Stacks
Research output: Contribution to journal › Article
12
Citations
(Scopus)