Adjunction Models for Call-by-push-value with Stacks

Research output: Contribution to conference (unpublished) › Paper

6 Citations (Scopus)

Original language	English
Publication status	Published - 1 Jan 2003
Event	Conference on Category Theory and Computer Science, 9th - Ottawa, Canada Duration: 15 Aug 2002 → 17 Aug 2002

Conference	Conference on Category Theory and Computer Science, 9th
Country/Territory	Canada
City	Ottawa
Period	15/08/02 → 17/08/02

Cite this