A geometry of interaction machine for Gödel's system T

DOI10.1007/978-3-662-55386-2_16zbMath1496.03062OpenAlexW2725322043MaRDI QIDQ1685928

Ian Mackie

Publication date: 20 December 2017

Full work available at URL: http://sro.sussex.ac.uk/69302/1/main.pdf

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

Related Items (1)

An Interaction Net Encoding of Gödel’s System  $$\mathcal {T}$$

This page was built for publication: A geometry of interaction machine for Gödel's system T