scientific article; zbMATH DE number 1070568
From MaRDI portal
Publication:4357055
zbMath0883.03008MaRDI QIDQ4357055
Publication date: 5 October 1997
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
explicit substitutionscombinatory reduction systemssubject reductiontyped \(\lambda\)-calculipreservation of strong normalizationrecursive path orders
Related Items (12)
Unnamed Item ⋮ Intersection types for explicit substitutions ⋮ The Prismoid of Resources ⋮ On explicit substitution with names ⋮ Revisiting the notion of function ⋮ A prismoid framework for languages with resources ⋮ Capture-avoiding substitution as a nominal algebra ⋮ Comparing Calculi of Explicit Substitutions with Eta-reduction ⋮ Comparing and implementing calculi of explicit substitutions with eta-reduction ⋮ Proof-term synthesis on dependent-type systems via explicit substitutions ⋮ Strong Normalisation of Cut-Elimination That Simulates β-Reduction ⋮ Revisiting Zucker’s Work on the Correspondence Between Cut-Elimination and Normalisation
Uses Software
This page was built for publication:
