The Expressive Power of One Variable Used Once: The Chomsky Hierarchy and First-Order Monadic Constructor Rewriting.

Jakob Grue Simonsen

Browse the full FSCD paper archive.