On operational properties of quantitative extensions of lambda-calculus

On operational properties of quantitative extensions of lambda-calculus

Cette thèse porte sur les propriétés opérationnelles de deux extensions quantitatives du λ-calcul pur : le λ-calcul algébrique et le λ-calcul probabiliste.Dans la première partie, nous étudions la théorie de la β-réduction dans le λ-calcul algébrique. Ce calcul permet la formation de combinaisons li...

Full description

Bibliographic Details
Main Author: Alberti, Michele
Other Authors: Aix-Marseille
Language:en
Published: 2014
Subjects:
Sémantique opérationnelle
Lambda-Calcul algébrique
Lambda-Calcul probabiliste
Théorie de la beta-Réduction
Bisimulation
Coinduction
Méthode de Howe
Équivalence de termes
Operational semantics
Algebraic lambda-Calculus
Probabilistic lambda-Calculus
Beta-Reduction theory
Bisumulation
Howe's technique
Term equivalence
510
Online Access:http://www.theses.fr/2014AIXM4076/document

Internet

http://www.theses.fr/2014AIXM4076/document

Similar Items