The regular-language semantics of second-order Idealized Algol

Guy McCusker, D Ghica

Research output: Contribution to journalArticlepeer-review

50 Citations (SciVal)
Original languageEnglish
Pages (from-to)469-502
Number of pages34
JournalTheoretical Computer Science
Volume309
Issue number1-3
Publication statusPublished - 2003

Cite this