scientific article; zbMATH DE number 3637819

zbMath0411.03013MaRDI QIDQ4198724

Patrick Salle, Mariangiola Dezani-Ciancaglini, Mario Coppo

Publication date: 1979

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

zbMATH Keywords

model theorytype assignmentlambda calculus semantics

Mathematics Subject Classification ID

Model theory (03C99) Combinatory logic and lambda calculus (03B40)

Related Items (11)

Type theories, normal forms, and \(D_{\infty}\)-lambda-models ⋮ The Essence of Dependent Object Types ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Calculi, types and applications: essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi della Rocca ⋮ A typed lambda calculus with intersection types ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Principal type schemes for an extended type theory

This page was built for publication: