Discrete Lawvere theories and computational effects

Martin Hyland, John Power

Research output: Contribution to journalArticle

19 Citations (Scopus)
Original languageEnglish
Pages (from-to)144-162
Number of pages19
JournalTheoretical Computer Science
Volume366
Issue number1-2
DOIs
Publication statusPublished - 2006

Cite this