scientific article; zbMATH DE number 3831284
From MaRDI portal
Publication:3036694
zbMATH Open0524.68018MaRDI QIDQ3036694FDOQ3036694
Authors: Mario Coppo, Mariangiola Dezani-Ciancaglini, Giuseppe Longo 
Publication date: 1983
Title of this publication is not available (Why is that?)
General topics in the theory of software (68N01) Semantics in the theory of computing (68Q55) Abstract data types; algebraic specification (68Q65)
Cited In (8)
- Using information systems to solve recursive domain equations
- Set-theoretical and other elementary models of the \(\lambda\)-calculus
- Recursive Domain Equations of Filter Models
- Type theories, normal forms, and \(D_{\infty}\)-lambda-models
- From computation to foundations via functions and application: The \(\lambda\)-calculus and its webbed 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
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3036694)
