scientific article
From MaRDI portal
Publication:2703743
zbMath0971.68019MaRDI QIDQ2703743
No author found.
Publication date: 8 May 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (7)
Adding Negation to Lambda Mu ⋮ Böhm theorem and Böhm trees for the \(\varLambda \mu\)-calculus ⋮ Domain-Freeλµ-Calculus ⋮ Compositional Z: confluence proofs for permutative conversion ⋮ Confluence proofs of lambda-mu-calculi by Z theorem ⋮ An interpretation of \(\lambda \mu\)-calculus in \(\lambda\)-calculus. ⋮ Confluency and strong normalizability of call-by-value \(\lambda \mu\)-calculus
This page was built for publication:
