scientific article; zbMATH DE number 7357539

zbMath1469.03041arXiv1309.0892MaRDI QIDQ4992896

Ralph Matthes, Luís Pinto, José Espírito Santo

Publication date: 10 June 2021

Full work available at URL: https://arxiv.org/abs/1309.0892

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Proof theory in general (including proof-theoretic semantics) (03F03) Combinatory logic and lambda calculus (03B40)

Related Items (2)

A coinductive approach to proof search through typed lambda-calculi ⋮ Inhabitation in simply typed lambda-calculus through a lambda-calculus for proof search

This page was built for publication: