Game semantics and linear CPS interpretation

Research output: Contribution to journalArticle

9 Citations (Scopus)
Original languageEnglish
Pages (from-to)199-224
Number of pages26
JournalTheoretical Computer Science
Volume333
Issue number1-2
DOIs
Publication statusPublished - Mar 2005

Cite this