#lambda-calcul

2 collections 2 auteurs 2 ouvrages trié(s) par

Linéarité : un outil analytique pour l étude de la complexité et de la sémantique des langages de programmation, Linearity : an analytic tool in the study of complexity and semantics of programming languages

Documents

Linéarité : un outil analytique pour l'étude de la complexité et de la sémantique des langages de programmation, Linearity : an analytic tool in the study of complexity and semantics of programming languages

Marco Gaboardi

Documents

Savoirs

Linéarité : un outil analytique pour l'étude de la complexité et de la sémantique des langages de programmation, Linearity : an analytic tool in the study of complexity and semantics of programming languages

Marco Gaboardi

189 pages

English

Lire

Infos

Définitions par réécriture dans le lambda-calcul : confluence, réductibilité et typage, Definitions by rewriting in the lambda-calculus : confluence, reducibility and typing

Documents

Définitions par réécriture dans le lambda-calcul : confluence, réductibilité et typage, Definitions by rewriting in the lambda-calculus : confluence, reducibility and typing

Colin Riba

Documents

Savoirs

Définitions par réécriture dans le lambda-calcul : confluence, réductibilité et typage, Definitions by rewriting in the lambda-calculus : confluence, reducibility and typing

Colin Riba

310 pages

Français

Lire

Infos

Aucun résultat à afficher.