scientific article; zbMATH DE number 1333599
From MaRDI portal
Publication:4260372
zbMath0925.03095MaRDI QIDQ4260372
Publication date: 19 September 1999
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (9)
Intersection types and lambda models ⋮ Intersection Types and Computational Rules ⋮ On the construction of stable models of untyped \(\lambda\)-calculus ⋮ On the longest perpetual reductions in orthogonal expression reduction systems ⋮ Infinite \(\lambda\)-calculus and types ⋮ Semantical analysis of perpetual strategies in \(\lambda\)-calculus ⋮ Perpetual reductions in \(\lambda\)-calculus ⋮ From computation to foundations via functions and application: The \(\lambda\)-calculus and its webbed models ⋮ Perpetuality and uniform normalization in orthogonal rewrite systems
This page was built for publication:
