The Ackermann encoding and its siblings
Year: 2025
Type: article
Source: Journal of Logic and Computation
Institutions: University of Udine, University of Catania, University of Trieste
Language: English
Subfield: Geometry and Topology
Field: Mathematics
Domain: Physical Sciences
Open Access status: closed
Funder: Università di Catania
OpenAlex ID: W7125943761