scientific article
From MaRDI portal
Publication:2852349
zbMath1273.03098MaRDI QIDQ2852349
Olivier Danvy, Kristian Støvring, Małgorzata Biernacka
Publication date: 8 October 2013
Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066106001939
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Logic in computer science (03B70) Cut-elimination and normal-form theorems (03F05) Combinatory logic and lambda calculus (03B40)
Related Items (2)
Coq formalization of the higher-order recursive path ordering ⋮ A Context-based Approach to Proving Termination of Evaluation
This page was built for publication:
