scientific article; zbMATH DE number 7297814
From MaRDI portal
Publication:5144612
zbMath1452.03042arXiv1804.00731MaRDI QIDQ5144612
Publication date: 19 January 2021
Full work available at URL: https://arxiv.org/abs/1804.00731
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Functional programming and lambda calculus (68N18) Proof-theoretic aspects of linear logic and other substructural logics (03F52) Second- and higher-order arithmetic and fragments (03F35) Combinatory logic and lambda calculus (03B40) Gödel numberings and issues of incompleteness (03F40)
This page was built for publication:
