scientific article; zbMATH DE number 3532922

zbMath0342.02017MaRDI QIDQ4109650

Mariangiola Dezani-Ciancaglini, Corrado Böhm

Publication date: 1975

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Computability and recursion theory (03D99) Combinatory logic and lambda calculus (03B40)

Related Items (10)

Type theories, normal forms, and \(D_{\infty}\)-lambda-models ⋮ Unnamed Item ⋮ 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 ⋮ Behavioural inverse limit \(\lambda\)-models ⋮ A discrimination algorithm inside \(\lambda -\beta\)-calculus ⋮ Expressive power of typed and type-free programming languages

This page was built for publication: