LesI-types du système ${\cal F}$

DOI10.1051/ita:2001116zbMath0991.03021OpenAlexW126361756MaRDI QIDQ2773020

Karim Nour

Publication date: 29 April 2002

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

Full work available at URL: http://www.numdam.org/item?id=ITA_2001__35_3_223_0

zbMATH Keywords

lambda calculuspositive quantifiersystem \({\mathcal F}\)\(I\)-types

Mathematics Subject Classification ID

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

Related Items (1)

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

Cites Work

• The lambda calculus. Its syntax and semantics. Rev. ed.
• Opérateurs de mise en mémoire et types $\forall $-positifs
• Unnamed Item
• Unnamed Item

This page was built for publication: LesI-types du système ${\cal F}$