The regular-language semantics of second-order Idealized Algol

Research output: Contribution to journal › Article › peer-review

50 Citations (SciVal)

Original language	English
Pages (from-to)	469-502
Number of pages	34
Journal	Theoretical Computer Science
Volume	309
Issue number	1-3
Publication status	Published - 2003

Cite this

@article{6018e3bab3e34f25a230858c7ef9f496,

title = "The regular-language semantics of second-order Idealized Algol",

author = "Guy McCusker and D Ghica",

year = "2003",

language = "English",

volume = "309",

pages = "469--502",

journal = "Theoretical Computer Science",

issn = "0304-3975",

publisher = "Elsevier B.V.",

number = "1-3",

}