Strong storage operators and data types

DOI10.1007/BF01269877zbMath0818.03004MaRDI QIDQ1805408

Karim Nour

Publication date: 10 August 1995

Published in: Archive for Mathematical Logic (Search for Journal in Brave)

zbMATH Keywords

data typerecursive and iterative representation of data in \(\lambda\)-calculusstrong storage operators

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65) Combinatory logic and lambda calculus (03B40)

Related Items

Storage Operators and ∀‐positive Types in TTR Type System, Opérateurs de mise en mémoire et types $\forall $-positifs

Cites Work

• Unnamed Item
• Unnamed Item
• The lambda calculus. Its syntax and semantics. Rev. ed.
• Opérateurs de mise en mémoire et traduction de Gödel. (Storage operators and Gödel translation)
• Automatic synthesis of typed \(\Lambda\)-programs on term algebras
• The system \({\mathcal F}\) of variable types, fifteen years later
• Recursive programming with proofs
• A discrimination algorithm inside \(\lambda -\beta\)-calculus
• Lambda-calcul, évaluation paresseuse et mise en mémoire
• Storage operators and directed lambda-calculus