Vaux, Lionel, 1981-....
VIAF ID: 201150967 (Personal)
Permalink: http://viaf.org/viaf/201150967
Preferred Forms
- 100 1 _ ‡a Vaux, Lionel ‡d 1981-...
- 100 1 _ ‡a Vaux, Lionel, ‡d 1981-....
4xx's: Alternate Name Forms (1)
Works
Title | Sources |
---|---|
Constructions d'orthogonalité bicatégoriques pour la logique linéaire. | |
Une exégèse de la syntaxe transcendantale. | |
An exegesis of transcendental syntax : A journey into the logical machinery | |
Une géométrie de calcul : Réseaux de preuve, appel-par-pousse-valeur et topologie du consensus | |
A geometry of calculus. | |
Méthodes Formelles pour les Langages de Programmation Quantiques. | |
Probabilistic lambda-theories. | |
Types intersection et calculs avec ressources dans la sémantique dénotationnelle du lambda-calcul. | |
λ-calcul différentiel et logique classique : interactions calculatoires |