Opérateurs de mise en mémoire et types $\forall $-positifs

DOI10.1051/ITA/1996300302611zbMath0869.03009OpenAlexW74958493MaRDI QIDQ4717043

Karim Nour

Publication date: 1 December 1996

Published in: RAIRO - Theoretical Informatics and Applications (Search for Journal in Brave)

Full work available at URL: https://eudml.org/doc/92537

zbMATH Keywords

Gödel translationAF2 type systemstorage operator\(\forall\)-positive typesGödel transformations

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

Related Items (5)

A semantical storage operator theorem for all types ⋮ Résultats de complétude pour des classes de types du système $\mathcal {AF}2$ ⋮ Les types de données syntaxiques du système ${\cal F}$ ⋮ LesI-types du système ${\cal F}$ ⋮ A completeness result for the simply typed \(\lambda \mu \)-calculus

Cites Work

• 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)
• Strong storage operators and data types
• Lambda-calcul, évaluation paresseuse et mise en mémoire
• Storage operators and directed lambda-calculus
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Opérateurs de mise en mémoire et types $\forall $-positifs