scientific article
From MaRDI portal
Publication:3837724
zbMath0867.03004MaRDI QIDQ3837724
Alessandro Berarducci, Benedetto Intrigila
Publication date: 4 August 1997
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (8)
Infinitary lambda calculi and böhm models ⋮ Infinitary lambda calculus ⋮ Applications of infinitary lambda calculus ⋮ Infinite \(\lambda\)-calculus and types ⋮ A finite equational axiomatization of the functional algebras for the lambda calculus ⋮ Simple Easy Terms ⋮ On the algebraic models of lambda calculus ⋮ Descendants and origins in term rewriting.
This page was built for publication:
