Régnier, Laurent, 19..-....
Regnier, Laurent.
Regnier, Laurent 19..-.... mathématicien
Laurent Regnier Ph.D. University of St. Andrews and Université Paris Diderot - Paris 7 1992
VIAF ID: 163421830 ( Personal )
Permalink: http://viaf.org/viaf/163421830
Preferred Forms
- 100 0 _ ‡a Laurent Regnier ‡c Ph.D. University of St. Andrews and Université Paris Diderot - Paris 7 1992
- 200 _ | ‡a Regnier ‡b Laurent ‡f 19..-.... ‡c mathématicien
- 100 1 _ ‡a Regnier, Laurent (sparse)
-
-
- 100 1 0 ‡a Regnier, Laurent
- 100 1 _ ‡a Regnier, Laurent,
-
- 100 1 _ ‡a Régnier, Laurent, ‡d 19..-....
Works
Title | Sources |
---|---|
Advances in linear logic / ed. by Jean-Yves Girard, Yves Lafont, Laurent Regnier. - Cambridge, 1995. | |
Concurrency, references and linear logic | |
Une étude combinatoire du lambda-calcul avec ressources uniforme | |
Expressive power of circular proofs. | |
Une géométrie de calcul : Réseaux de preuve, appel-par-pousse-valeur et topologie du consensus | |
Géométrie de l'interaction et réseaux différentiels | |
A geometry of calculus. | |
Graphical games and proof theory. | |
Jeux graphiques et théorie de la démonstration | |
Linear logic with the least and greatest fixed points : truth semantics, complexity and a parallel syntax | |
Localization in logic : geometry of interaction and denotational semantics. | |
La logique linéaire avec les plus petits et les plus grands points fixes : la sémantique de vérité, la complexité, et une syntaxe parallèle. | |
On Forcing and Classical Realizability | |
On operational properties of quantitative extensions of lambda-calculus | |
Opérateurs de typage non-idempotents, au delà du lambda-calcul | |
Partage, superposition et développement : Etudes géométriques sur la sémantique et l'implémentation de lambda-calculs et de réseaux de preuves. | |
Probabilistic lambda-theories. | |
Réalisabilité classique et effets de bord | |
Représentations circulaires de preuves infinies pour les logiques à points fixes : expressivité et complexité.. | |
Réseaux d'interaction : sémantique et extensions concurrentes. | |
Sémantique et implantation d'une extension de ML pour la preuve de programmes | |
Sharing, Superposition and Epansion : Geometrical Studies on the semantics and Implementation of lambda-calculi and proof-nets | |
Symmetric dialogue games in the proof theroy of linear logic | |
Théories symétriques monoïdales closes, applications au lambda-calcul et aux bigraphes | |
Towards a Curry-Howard Correspondence for Quantum Computation | |
Types inductifs, fonctionnels et non-linéaires en ludique. | |
Uniformity and the Taylor expansion of ordinary lambda-terms | |
Vers une correspondance de Curry-Howard pour le calcul quantique. | |
λ-calcul différentiel et logique classique : interactions calculatoires |