Un modèle fonctionnel des structures de contrôle
Open Access
- 1 January 1977
- journal article
- Published by EDP Sciences in RAIRO. Informatique théorique
- Vol. 11 (3) , 213-236
- https://doi.org/10.1051/ita/1977110302131
Abstract
No abstract availableThis publication has 14 references indexed in Scilit:
- Emploi de méthodes constructives en programmation. Un dossier : la fonction d'AckermannRAIRO. Informatique théorique, 1977
- Sémantique formelle des opérateurs d'un langage de listesRevue française d'automatique informatique recherche opérationnelle. Informatique théorique, 1974
- On the capabilities of while, repeat, and exit statementsCommunications of the ACM, 1973
- Formalization of EXELPublished by Association for Computing Machinery (ACM) ,1973
- A CUCH-machine: The automatic treatment of bound variablesInternational Journal of Parallel Programming, 1972
- Lambda calculus schemataPublished by Association for Computing Machinery (ACM) ,1972
- Flow diagrams, turing machines and languages with only two formation rulesCommunications of the ACM, 1966
- A λ-CALCULUS APPROACHPublished by Elsevier ,1966
- Correspondence between ALGOL 60 and Church's Lambda-notationCommunications of the ACM, 1965
- Recursive functions of symbolic expressions and their computation by machine, Part ICommunications of the ACM, 1960