scientific article; zbMATH DE number 1948154

zbMath1020.03058MaRDI QIDQ4411815

Klaus Aehlig, Felix Joachimski

Publication date: 10 July 2003

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2471/24710059.htm

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

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Combinatory logic and lambda calculus (03B40)

Related Items (4)

Substitution in non-wellfounded syntax with variable binding ⋮ Continuous normalization for the lambda-calculus and Gödel's T ⋮ Continuous Functions on Final Coalgebras ⋮ Clocked lambda calculus

This page was built for publication: