scientific article
From MaRDI portal
Publication:3036694
zbMath0524.68018MaRDI QIDQ3036694
Mario Coppo, Mariangiola Dezani-Ciancaglini
Publication date: 1983
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Semantics in the theory of computing (68Q55) Abstract data types; algebraic specification (68Q65) General topics in the theory of software (68N01)
Related Items (8)
Type theories, normal forms, and \(D_{\infty}\)-lambda-models ⋮ May and must convergency in concurrent λ-calculus ⋮ Calculi, types and applications: essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi della Rocca ⋮ Behavioural inverse limit \(\lambda\)-models ⋮ Recursive Domain Equations of Filter Models ⋮ From computation to foundations via functions and application: The \(\lambda\)-calculus and its webbed models ⋮ Set-theoretical and other elementary models of the \(\lambda\)-calculus ⋮ Using information systems to solve recursive domain equations
This page was built for publication:
