scientific article
From MaRDI portal
Publication:3858241
zbMath0424.03009MaRDI QIDQ3858241
Mariangiola Dezani-Ciancaglini, Simonetta Ronchi della Rocca, Lorenza Saitta
Publication date: 1979
Full work available at URL: https://eudml.org/doc/92104
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Abstract data types; algebraic specification (68Q65) General topics in the theory of software (68N01) Combinatory logic and lambda calculus (03B40)
Related Items (3)
Unnamed Item ⋮ Calculi, types and applications: essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi della Rocca ⋮ The weak lambda calculus as a reasonable machine
Uses Software
Cites Work
- Combinatory logic. With two sections by William Craig.
- Reduction of storage employed to represent families of information structures
- Combinatory logic. Vol. II
- Combinators, \(\lambda\)-terms and proof theory
- Data Types as Lattices
- The Relation between Computational and Denotational Properties for Scott’s ${\text{D}}_\infty $-Models of the Lambda-Calculus
- A lambda-calculus model of programming languages—II. Jumps and procedures
- Correspondence between ALGOL 60 and Church's Lambda-notation
- On the size of machines
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication:
