Curien, Pierre-Louis, 1953-....
![Sudoc [ABES], France](/viaf/images/flags/SUDOC.png "Sudoc [ABES], France")
Curien, Pierre-Louis.
Curien, P.-L. (Pierre-Louis)
Curien, P.-L. 1953-
Pierre-Louis Curien chercheur français en informatique théorique
Curien, P.-L.
VIAF ID: 2017149198211774940009 (Personal)
Permalink: http://viaf.org/viaf/2017149198211774940009
Preferred Forms
-
200 _ |
‡a
Curien
‡b
Pierre-Louis
-
200 _ 1 ‡a Curien ‡b Pierre-Louis
-
100 1 _ ‡a Curien, P.-L.
-
100 1 _
‡a
Curien, P.-L.
‡d
1953-
-
100 1 _ ‡a Curien, P.-L. ‡q (Pierre-Louis)
-
100 1 _ ‡a Curien, P.-L. ‡q (Pierre-Louis)
-
100 1 0
‡a
Curien, P.-L.
‡q
(Pierre-Louis)
-
100 1 _ ‡a Curien, P.-L. ‡q (Pierre-Louis)
-
100 1 _ ‡a Curien, Pierre-Louis
-
100 1 _ ‡a Curien, Pierre-Louis
-
100 1 _ ‡a Curien, Pierre-Louis
-
100 1 _
‡a
Curien, Pierre-Louis
-
100 1 _
‡a
Curien, Pierre-Louis
-
100 1 _ ‡a Curien, Pierre-Louis, ‡d 1953-
-
100 1 _
‡a
Curien, Pierre-Louis,
‡d
1953-....
-
100 1 _ ‡a Curien, Pierre-Louis.
-
100 0 _
‡a
Pierre-Louis Curien
‡c
chercheur français en informatique théorique
4xx's: Alternate Name Forms (11)
Works
| Title | Sources |
|---|---|
| Algorithmes séquentiels sur structures de données concrètes |
|
| Analyse statique typée des propriétés structurelles des programmes |
|
| An approach of the static detection of uncaught exceptions in call-by-name evaluation. |
|
| Une approche de la détection statique d'exceptions non rattrapées en appel par nom |
|
| Une brève biographie scientifique de Maurice Nivat |
|
| Un cadre quantitatif pour la ludique |
|
| Categorical combinators, sequential algorithms, and functional programming |
|
| Categories and String Diagrams for Game Semantics. |
|
| Category theory and computer science : Paris, France, September 3-6, 1991, proceedings |
|
| Cellular approximations of diagonal applications of operadic polytopes. |
|
| Classes concurrentes et appel par filtrage dans le join calcul |
|
| Complétion de systèmes de réécriture types dont les fonctions sont polymorphes |
|
| Concurrent classes and pattern matching in the join calculus. |
|
| CONTRIBUTION A L'ETUDE DU LAMBDA-CALCUL PARTIEL |
|
| CONTRIBUTIONS TO THE STUDY OF LAMBDA-CALCULI WITH EXPLICIT SUBSTITUTIONS. |
|
| Cyclic operads : syntactic, algebraic and categorified aspects |
|
| Definability and Full Abstraction |
|
| Domains and lambda-calculi |
|
| Une étude logique de l’équivalence de programmes. |
|
| Évaluation paresseuse des filtrages avec priorité, application au langage ML... |
|
| Factorization of cubical area and application to concurrency. |
|
| Full abstraction for sequential languages : the state of the art |
|
| Game semantics and realizability for classical logic |
|
| Graphical games and proof theory. |
|
| Higher-order languages : dualities and bisimulation enhancements |
|
| Interacting Hopf Algebras- the Theory of Linear Systems |
|
| Interactive models of computation and program behavior |
|
| Introduction à la logique : théorie de la démonstration : [cours, 170 exercices corrigés] |
|
| Le lambda lambda-bar calcul : un calcul dual pour les stratégies non contraintes, français |
|
| Langages d'ordre supérieur : dualités et techniques de bisimulation. |
|
| The lattice of reduction operators : applications to noncommutative Gröbner bases and homological algebra. |
|
| Linearity and beyond in demotational semantics |
|
| Logique et interaction : une étude sémantique de la totalité |
|
| Merci, Maurice : a mosaic in honour of Maurice Nivat |
|
| MODELES DENOTATIONNELS DES LANGAGES SEQUENTIELS |
|
| Modèles interactifs de calcul et de comportement de programme. |
|
| Modeling the handshake protocol for asynchrony. |
|
| Modélisation et analyse de processus biologiques dans des algèbres de processus |
|
| Modelling and Analyzinq Systems Bioloqy Using Process Algebra. |
|
| On the expressivity of infinite and local behaviour in fragments of the pi-calculus |
|
| On the infinitary proof theory of logics with fixed points |
|
| Opétopes : aspects syntaxiques et algébriques. |
|
| Quadratic normalisations and coherent presentations of monoids |
|
| Quantification du second ordre en sémentique des jeux : application aux isomorphismes de types |
|
| A quantitive framework for Ludics. |
|
| Réductions et approximations linéaires |
|
| Réécriture des diagrammes : applications à la théorie des catégories et à la théorie de la démonstration. |
|
| RESULTATS DE CONFLUENCE POUR LES REGLES FORTES DE LA LOGIQUE COMBINATOIRE CATEGORIQUE ET LIENS AVEC LES LAMBDA-CALCULS |
|
| Sémantique des jeux et réalisabilité pour la logique classique. |
|
| SEMANTIQUE DU LAMBDA CALCUL AVEC RESSOURCES |
|
| String diagram rewriting : applications in category and proof theory |
|
| Structures concurrentes en sémantique des jeux |
|
| Structures supérieures en théorie des types homotopiques. |
|
| Substitutions explicites, logiques et normalisation |
|
| Sur l'expressivité du comportement infini et local dans quelques fragments du calcul pi. |
|
| Syntaxe et modèles d'une composition non-associative des programmes et des preuves |
|
| Télécommunications sur IBM-PC |
|
| Théorie de la preuve infinitaire pour les logiques à points fixes. |
|
| TLCA 2009 |
|
| Transformations de forcing et algèbres de monitoring. |
|
| Type-based static analysis of structural properties in programming languages. |
|
| Vectorial Semantics and Syntax of Linear Logic. |
|
| Vers une ludique différentielle |
|
