scientific article; zbMATH DE number 3557747
From MaRDI portal
Publication:4133598
zbMath0358.02025MaRDI QIDQ4133598
Mariangiola Dezani-Ciancaglini, Mario Coppo
Publication date: 1977
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Decidability of theories and sets of sentences (03B25) Combinatory logic and lambda calculus (03B40)
Related Items (7)
A new type assignment for λ-terms ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Calculi, types and applications: essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi della Rocca ⋮ Distributional Learning and Context/Substructure Enumerability in Nonlinear Tree Grammars ⋮ Perpetual reductions in \(\lambda\)-calculus
This page was built for publication:
