Lambda-calcul, évaluation paresseuse et mise en mémoire
From MaRDI portal
Publication:3204440
DOI10.1051/ita/1991250100671zbMath0717.03003MaRDI QIDQ3204440
Publication date: 1991
Published in: RAIRO - Theoretical Informatics and Applications (Search for Journal in Brave)
Full work available at URL: https://eudml.org/doc/92382
68Q60: Specification and verification (program logics, model checking, etc.)
03B40: Combinatory logic and lambda calculus
Related Items
Opérateurs de mise en mémoire et types $\forall $-positifs, Storage operators and directed lambda-calculus, A general storage theorem for integers in call-by-name \(\lambda\)- calculus, Strong storage operators and data types, About classical logic and imperative programming
Cites Work