scientific article; zbMATH DE number 1332647
From MaRDI portal
Publication:4259974
zbMath0924.68055MaRDI QIDQ4259974
Publication date: 9 September 1999
Full work available at URL: http://danae.uni-muenster.de/lehre/kuchen/JFLP/articles/1999/A99-02/A99-02.html
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (6)
Choices in representation and reduction strategies for lambda terms in intensional contexts ⋮ A notation for lambda terms. A generalization of environments ⋮ Comparing Calculi of Explicit Substitutions with Eta-reduction ⋮ A Flexible Framework for Visualisation of Computational Properties of General Explicit Substitutions Calculi ⋮ Lambda-calculus with director strings ⋮ Comparing and implementing calculi of explicit substitutions with eta-reduction
Uses Software
This page was built for publication:
