Parikh's Theorem Made Symbolic

Matthew Hague, Artur Jeż, Anthony Lin

Research output: Chapter in Book/Report/Conference proceedingConference contribution

47 Downloads (Pure)
Original languageEnglish
Title of host publicationPrinciples of Programming Languages
Pages1945-1977
Number of pages33
DOIs
Publication statusPublished - 5 Jan 2024

Cite this