Reviewing the Classical and the de Bruijn Notation for -calculus and Pure Type Systems

DOI10.1093/LOGCOM/11.3.363zbMath1159.03306DBLPjournals/logcom/Kamareddine01aOpenAlexW1966169317WikidataQ29391432 ScholiaQ29391432MaRDI QIDQ2752527

Fairouz Kamareddine

Publication date: 16 October 2001

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/2b65df6c8c0cc14db2afcacbca0f0423588ec6f0

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

Related Items (1)

Derivation and inference of higher-order strictness types

This page was built for publication: Reviewing the Classical and the de Bruijn Notation for  -calculus and Pure Type Systems