Les types de données syntaxiques du système ${\cal F}$
From MaRDI portal
Publication:2773019
DOI10.1051/ita:2001117zbMath0991.03020arXiv0905.0754MaRDI QIDQ2773019
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
lambda calculus; syntactical data types; syntactical definition of input and output types; system \({\mathcal F}\)
68Q60: Specification and verification (program logics, model checking, etc.)
03B40: Combinatory logic and lambda calculus
Cites Work
- 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
- Unnamed Item
- Unnamed Item