Les types de données syntaxiques du système ${\cal F}$

DOI10.1051/ita:2001117zbMath0991.03020arXiv0905.0754OpenAlexW2009349137MaRDI QIDQ2773019

Samir Farkh, Karim Nour

Publication date: 29 April 2002

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

Full work available at URL: https://arxiv.org/abs/0905.0754

zbMATH Keywords

lambda calculussyntactical data typessyntactical definition of input and output typessystem \({\mathcal F}\)

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Combinatory logic and lambda calculus (03B40)

Cites Work

• Unnamed Item
• Unnamed Item
• Opérateurs de mise en mémoire et traduction de Gödel. (Storage operators and Gödel translation)
• Classical logic, storage operators and second-order lambda-calculus
• LesI-types du système ${\cal F}$
• Un résultat de complétude pour les types ∀+ du système F
• Opérateurs de mise en mémoire et types $\forall $-positifs