Miquel, Alexandre, 19..-....
VIAF ID: 290911108 ( Personal )
Permalink: http://viaf.org/viaf/290911108
Preferred Forms
Works
Title | Sources |
---|---|
Certification de programmes impératifs en logique dynamique : le cas du lambda-calcul avec références | |
A logical study of program equivalence | |
Méthodes et outils pour la spécification et la preuve de propriétés difficiles de programmes séquentiels | |
Methods and tools for specification and proof of difficult properties of sequential programs. | |
On Forcing and Classical Realizability | |
On the lambda calculus with constructors. | |
Réalisabilité classique et effets de bord | |
Semantics and implementation of an extension of ML for proving programs. | |
Sémantique et implantation d'une extension de ML pour la preuve de programmes | |
Specifying programs using dynamic logic : case of the lambda-calculs withe references. | |
Transformations de forcing et algèbres de monitoring. |