Adjunction Models for Call-by-Push-Value with Stacks

Research output: Contribution to journalArticle

12 Citations (Scopus)
Original languageEnglish
Pages (from-to)75-110
Number of pages36
JournalTheory and Applications of Categories
Volume14
Publication statusPublished - 1 Jan 2005

Cite this