scientific article; zbMATH DE number 1332643
From MaRDI portal
Publication:4259970
zbMath0924.68053MaRDI QIDQ4259970
Alejandro Ríos, J. B. Wells, Fairouz Kamareddine
Publication date: 9 September 1999
Full work available at URL: http://danae.uni-muenster.de/lehre/kuchen/JFLP/articles/1998/A98-05/A98-05.html
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (5)
Comparing Calculi of Explicit Substitutions with Eta-reduction ⋮ De Bruijn's syntax and reductional behaviour of \(\lambda\)-terms: The typed case ⋮ Intersection Types and Computational Rules ⋮ De Bruijn's syntax and reductional behaviour of \(\lambda\)-terms: the untyped case ⋮ Comparing and implementing calculi of explicit substitutions with eta-reduction
This page was built for publication:
