027576345
1983-11-23
2023-06-13T05:53:53
PASCAL Lex., 1991
11958690
Lambda-calcul
Calcul lambda
Modèle de programmation chimique
Isomorphisme de Curry-Howard
Pi-calcul
Logique mathématique
510
Les effects et les handlers dans le langage naturel / Jiří Maršík ; sous la direction de Philippe de Groote et de Maxime Amblard / , 2016
La plein paresse, une certain optimalité : partage de sous-termes et stratégies de réduction en réécriture d'ordre supérieur / Thibaut Balabonski ; sous la direction de Delia Kesner / Lille : Atelier national de reproduction des thèses , 2012
Estimation à noyau de la fonction de hasard pour des variables censurées / par Kowir Pambo Bello ; sous la direction d'Abdelkader Mokkadem / [S.l.] : [s.n.] , 2011
Développements d'algorithmes dans le calcul des constructions / Joseph Rouyer ; sous la direction de Pierre Lescanne / [Lieu de publication inconnu] : [éditeur inconnu] , 1994
Vers un assistant à la preuve en langue naturelle / Patrick Thévenon ; dir. de la thèse René David / Chambéry : Université de Savoie , 2006
La notion d'indéfini en lambda-calcul / Yves Bertini / Villeurbanne : [CCSD] , 2009
Language in action : categories, lambdas and dynamic logic / Johan Van Benthem / [2nd impression] / Amsterdam [etc.] : North-Holland , 1994
Dissecting call-by-need by customizing multi type systems / Maico Leberle ; sous la direction de Dale Miller et de Beniamino Accattoli / , 2021
Jeux de réalisabilité en arithmétique classique / Mauricio Guillermo ; sous la direction de Jean-Louis Krivine / Lille : Atelier national de reproduction des thèses , 2008
Normalisation et équivalence en théorie de la démonstration et théorie des types / Stéphane Lengrand / Villeurbanne : [CCSD] , 2007
Objets infinis calculables / Gérard Comyn ; [sous la direction de Maurice Nivat] / [Lieu de publication inconnu] : [Éditeur inconnu] , 1982
Une théorie des constructions / Thierry Coquand ; sous la direction de G. Huet / [Lieu de publication inconnu] : [éditeur inconnu] , 1985
Semantics of the typed [lambda]-calculus with substitution in a cartesian closed category / John W. Gray / Le Chesnay, France : Institut National de Recherche en Informatique et en Automatique , 1990
Typed lambda calculi and applications : 7th international conference, TLCA 2005, Nara, Japan, April 21-23, 2005 : proceedings / Pawel Urzyczyn (Ed.) / Berlin : Springer , cop. 2005
Typed lambda calculi and applications : 8th international conference, TLCA 2007, Paris, France, June 26-28, 2007 : proceedings / Simona Ronchi Della Rocca (Ed.) / Berlin : Springer , cop. 2007
Sémantique du lambda calcul avec ressources / Carolina Lavatelli / Paris : Université Paris VII , 1996
Systèmes de types purs et substitutions explicites / Romain Kervarc ; sous la direction de Pierre Lescanne / [S.l.] : [s.n.] , 2007
Typed abstract syntax / par Julianna Zsidó ; sous la direction de André Hirschowitz / Lille : Atelier national de reproduction des thèses , 2010
Linear logic, type assignment systems and implicit computational complexity / Erika De Benedetti ; sous la direction de Patrick Baillot et de Simona Ronchi Della Rocca / , 2015
Problèmes de filtrage et problème d'analyse pour les grammaires catégorielles abstraites / Sylvain Salvati ; sous la direction de Philippe de Groote / [Lieu de publication inconnu] : [éditeur inconnu] , 2005
Typed lambda calculi and applications : 4th international conference, TLCA'99, L'Aquila, Italy, April 7-9, 1999 : proceedings / [edited by] Jean-Yves Girard / Berlin [etc.] : Springer
Fonctions récursives générales dans le calcul des constructions / par Antonia Balaa ; sous la dir. de Yves Bertot / [S.l.] : [s.n.] , 2002
Structures et modèles de calculs de réécriture / Germain Faure ; sous la direction de Claude Kirchner / [Lieu de publication inconnu] : [éditeur inconnu] , 2007
Etude d’un Lambda-calcul issu d’une logique classique / Khelifa Saber / Villeurbanne : [CCSD] , 2009
The Lambda calculus : its syntax and semantics / H. P. Barendregt,... - Revised ed / Amsterdam : North-Holland , 1984
Vers une théorie de l'approximation des programmes basée sur la notion de ressources / Davide Barbarossa ; sous la direction de Giulio Manzonetto et de Lorenzo Tortora de Falco / , 2021
Expressing predicate subtyping in computational logical frameworks / Gabriel Hondet ; sous la direction de Frédéric Blanqui et de Gilles Dowek / , 2022
Certification de programmes impératifs en logique dynamique : le cas du lambda-calcul avec références / Séverine Maingaud ; sous la direction de Alexandre Miquel et de Vincent Balat / Lille : Atelier national de reproduction des thèses , 2011
Réflexion, calculs et logiques / Hubert Godfroy ; sous la direction de Jean-Yves Marion / , 2017
Aspects dynamiques et physiques de la matière noire / par Sébastien Peirani ; sous la direction de José Antonio de Freitas Pacheco / Grenoble : Atelier national de reproduction des thèses , 2005
Logique combinatoire et λ[lambda]-calcul : des logiques d'opérateurs / Jean-Pierre Desclés, Gaëll Guibert, Benoît Sauzay / Toulouse : Cépaduès-éditions , DL 2016
Géométrie de l'interaction et réseaux différentiels / Marc de Falco ; sous la direction de Laurent Regnier / , 2009
Les ressources explicites vues par la théorie de la réécriture / Fabien Renaud ; sous la direction de Delia Kesner / Lille : Atelier national de reproduction des thèses , 2011
An introduction to functional programming through lambda calculus / Greg Michaelson,... / Mineola (N. Y.) : Dover publications
Réalisabilité classique et protocoles réseaux / Philippe Hesse ; sous la direction de Jean-Louis Krivine / Lille : Atelier national de reproduction des thèses , 2008
Fixpoints of types in linear logic from a Curry-Howard-Lambek perspective / Farzad Jafarrahmani ; sous la direction de Thomas Ehrhard / , 2023
An introduction to functional programming through Lambda calculus / Greg Michaelson / Berkshire (U.K.) : Addison-Wesley Publishing Company
Lambda-calcul : types et modèles / Jean-Louis Krivine,... / Paris : Masson , 1990
Jeux de réalisabilité en arithmétique classique / Mauricio Guillermo ; sous la direction de Jean-Louis Krivine / [S.l.] : [s.n.] , 2008
Non idempotent-intersection types to refine strong normalisation with quantitative information / Alexis Bernadet ; sous la direction de Benjamin Werner et Stéphane Lengrand / , 2014
Normalisation et équivalence en théorie de la démonstration et théorie des types / Stéphane Lengrand ; sous la direction de Delia Kesner / Grenoble : Atelier national de reproduction des thèses , 2006
Lambda calculi : a guide for computer scientists / Chris Hankin / Oxford : Clarendon Press , 1994
Réalisabilité classique : nouveaux outils et applications / Guillaume Geoffroy ; sous la direction de Laurent Régnier / , 2019
Programmer, calculer et raisonner avec les réseaux de la logique linéaire / Stéphane Gimenez / Villeurbanne : [CCSD] , 2011
Relational graph models and Morris's observability : resource-sensitive semantic investigations on the untyped λ-calculus / Domenico Ruoppolo ; sous la direction de Stefano Guerrini / , 2016
Types inductifs, isomorphismes et récriture extensionnelle / David Chemouil ; sous la dir. de Sergei Soloviev / [S.l.] : [s.n.] , 2004
Sémantique des Jeux Quantique / Marc De Visme ; sous la direction de Olivier Laurent et de Glynn Winskel / , 2020
Linearity and beyond in demotational semantics / Mauro Piccolo ; sous la direction de Pierre-Louis Curien et de Simona Ronchi Della Rocca / [S.l.] : [s.n.] , 2009
Non idempotent-intersection types to refine strong normalisation with quantitative information / par Alexis Bernadet ; sous la direction de Benjamin Werner / Villeurbanne : TEL , 2015
Models and Theories of Lambda calculus / Giulio Manzonetto ; sous la direction de Chantal Berline et Antonino Salibra / Lille : Atelier national de reproduction des thèses , 2008
Généralisation des réseaux d'interaction avec l'agent amb de Mc Carthy : propriétés et applications / par Lionel Khalil ; sous la dir. de Maribel Fernandez / [S.l.] : [s.n.] , 2003
Mise en oeuvre des langages fonctionnels de programmation / Simon L. Peyton Jones... [et al.] ; traduit de l'anglais par Michel Mauny / Paris : Masson , 1990
Les ressources explicites vues par la théorie de la réécriture / Fabien Renaud ; sous la direction de Delia Kesner / [S.l.] : [s.n.] , 2011
Estimation à noyau de la fonction de hasard pour des variables censurées / par Kowir Pambo Bello ; sous la direction d'Abdelkader Mokkadem / Lille : Atelier national de reproduction des thèses , 2011
Explicit Substitutions / Martin Abadi ... [et al.] / Le Chesnay, France : Institut National de Recherche en Informatique et en Automatique , 1990
The lambda calculus : its syntax and semantics / Henk P. Barendregt / London : College Publications , cop. 2012
Propriétés de normalisation de calculs logiques symétriques / Peter Battyanyi / Villeurbanne : [CCSD] , 2009
Lambda calculus with types / Henk Barendregt,... Wil Dekkers,... Richard Statman,... / Cambridge : Cambridge University Press
Définitions par réécriture dans le lambda-calcul : confluence, réductibilité et typage / Colin Riba ; sous la direction de Claude Kirchner et de Frédéric Blanqui / , 2007
The [lambda lambda-bar]-calculus : a dual calculus for unconstrained strategies = = Le [lambda lambda-bar]-calcul : un calcul dual pour les stratégies non contraintes / Alexis Goyet ; sous la direction de Pierre-Louis Curien / [S.l.] : [s.n.] , 2013
Une approche de la détection statique d'exceptions non rattrapées en appel par nom / Sylvain Lebresne ; sous la direction de Pierre-Louis Curien / [S.l.] : [s.n.] , 2008
ML for the working programmer / Lawrence C. Paulson,... / [First paperback edition (with corrections)] / Cambridge : Cambridge university press , 1992
Non-laziness in implicit computational complexity and probabilistic λ-calculus / Gianluca Curzi ; sous la direction de Michèle Pagani et de Luca Roversi / , 2020
Categories for types / Roy L. Crole,... / Cambridge : Cambridge University Press , cop. 1993
Une automatisation du calcul des résidus en sémantique naturelle / Yves Bertot ; sous la direction de Paul Franchi-Zannettacci / , 1991
λ-calcul différentiel et logique classique : interactions calculatoires / Lionel Vaux ; sous la dir. de Thomas Ehrhard, Laurent Regnier / , 2007
Une dialectica matérialiste = = A materialist dialectica : / Pierre-Marie Pédrot ; sous la direction de Hugo Herbelin / , 2015
Logique et interaction : une étude sémantique de la totalité / Pierre Clairambault ; sous la direction de Pierre-Louis Curien / [S.l.] : [s.n.] , 2010
Problèmes de filtrage et problème d'analyse pour les grammaires catégorielles abstraites / Sylvain Salvati ; sous la direction de Philippe de Groote / Grenoble : Atelier national de reproduction des thèses , 2005
Types union, intersection, et dépendants dans le lambda-calcul explicitement typé / Claude Stolze ; sous la direction de Luigi Liquori / , 2019
Intersection types and ressource calculi in the denotational semantics of lambda-calculus / Federico Olimpieri ; sous la direction de Laurent Régnier et de Lionel Vaux et de Lorenzo Tortora de Falco / , 2020
Réductions et approximations linéaires / Luc Pellissier ; sous la direction de Stefano Guerrini et de Damiano Mazza / , 2017
Lambda-calculus and computer science theory : proceedings of the Symposium ..., Roma, March 25-27, 1975 / Symposium on Lambda Calculus and Computer Science Theory / Roma : Consiglio Nazionale delle Ricerche , 1975
Models and theories of pure and resource lambda calculas / Alberto Carraro ; sous la direction de Antonino Salibra et Antonio Bucciarelli / Lille : Atelier national de reproduction des thèses , 2011
Sémantique du temps et lambda-calcul / Francis Renaud,... / Paris : Presses universitaires de France , 1996
Une dialectica matérialiste = = A materialist dialectica : / Pierre-Marie Pédrot / Villeurbanne : [CCSD] , 2015
Sémantique et syntaxe vectorielles de la logique linéaire / Christine Tasson ; sous la direction de Pierre-Louis Curien / [S.l.] : [s.n.] , 2009
Autour du lambda-calcul avec constructeurs / Barbara Petit ; sous la direction de Alexandre Miquel / , 2011
Récursion généralisée et inférence de types avec intersection / par Pascal Zimmer / Villeurbanne : [CCSD] , 2004
Calculabilité, physique et cognition / par Bruno Marchal ; sous la direction de Jean-Paul Delahaye / Villeneuve d'Ascq : Université Lille 1 - Sciences et technologies , 2013
Sémantiques de la logique linéaire et temps de calcul / Daniel de Carvalho ; sous la dir. de Thomas Ehrhard / , 2018
Foundations for programming languages / John C. Mitchell / Cambridge, Mass. : MIT Press , cop. 1996
Pattern calculus : computing with functions and structures / Barry Jay / Berlin : Springer , cop. 2009
Géométrie de l'interaction et réseaux différentiels / Marc de Falco ; sous la direction de Laurent Regnier / Lille : Atelier national de reproduction des thèses , 2009
Lambdas-théories probabilistes / Thomas Leventis ; sous la direction de Laurent Régnier et de Lionel Vaux / , 2016
The lambda calculus : its syntax and semantics / H.P. Barendregt,. / Ed. rev. / Amsterdam [etc.] : North-Holland , 1984
The graph rewriting calculus [Ressource électronique] : properties and expressive capabilities / Clara Bertolissi ; sous la direction de Claude Kirchner / Vandoeuvre-les-Nancy : INPL , 2005
Espaces de réductions dans les systèmes de réécriture non-séquentiels et les systèmes de réécriture infinitaires = = Reduction spaces in non-sequential and infinitary rewriting systems : = = espacios de reducción en sistemas de reescritura no-secuenciales e infinitarios : / Carlos Alberto Lombardi ; sous la direction de Alejandros Rios et Delia Kesner / [S.l.] : [s.n.] , 2014
Preservation of termination for explicit substitution / door Carolus Johannes Bloo / [S.l.] : [S. n.] , 1997
Fonctions récursives générales dans le calcul des constructions / par Antonia Balaa ; sous la direction de Yves Bertot / Grenoble : Atelier national de reproduction des thèses , 2002
The Implementation of functional programming languages / Simon L. Peyton Jones,... ; with chapters by Philip Wadler,...Peter Hancock,...David Turner,... / Englewood Cliffs, NJ [etc.] : Prentice-Hall International , cop. 1987
Une étude combinatoire du lambda-calcul avec ressources uniforme / Jean Baptiste Midez ; sous la direction de Laurent Régnier / , 2014
λ-calcul différentiel et logique classique : interactions calculatoires / Lionel Vaux ; sous la dir. de Thomas Ehrhard, Laurent Regnier / , 2018
Une approche contrôlée du traitement d'exceptions en programmation fonctionnelle / Catherine Lucquiaud-Pilière ; sous la dir. de Philippe de Groote / , 2001
Cluster algebras and triangulated surfaces Part II, Lambda lengths / Sergey Fomin, Dylan Thurston / Providence (R.I.) : AMS, American Mathematical Society
Stratégies pour la réduction forte / Antoine Lanco ; sous la direction de Guillaume Melquiond et de Thibaut Balabonski / , 2023
Propriétés de normalisation de calculs logiques symétriques / Peter Battyanyi ; sous la direction de René David, Pal Dömösi et Karim Nour / [S.l.] : [s.n.] , 2007
Typed lambda calculi and applications : second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, United Kingdom, April 10–12, 1995 : proceedings / [edited by] Mariangiola Dezani-Ciancaglini, Gordon Plotkin / Berlin [etc.] : Springer
L' adverbial temporel en DONGAN en coréen : description et formalisation / Hyunjung Son ; directeur de thèse Irène Tamba / [S. l.] : [s. n.] , 2003
Implicit automata in linear logic and categorical transducer theory / le Thanh Dung Nguyen ; sous la direction de Stefano Guerrini et de Thomas Seiller / , 2021
Géométrie de l'interaction et réseaux différentiels / Marc De Falco / Villeurbanne : [CCSD] , 2009
Logiques et réécriture / Sohame Selhab ; sous la direction de Adam Cichon / , 1998
Calculs de représentations sémantiques et syntaxe générative : les grammaires minimalistes catégorielles / présentée par Maxime Amblard ; [sous la direction de] Christian Retoré / , 2007
Lambda semiconductors applications handbook : power supplies and motor controls / Corpus Christi (Texas) : Lambda semiconductors , [1988?]
The calculi of lambda-conversion / by Alonzo Church / New York : Kraus Reprint , 1965
Jeux de typage et analyse de lambda-grammaires non-contextuelles / Pierre Bourreau ; sous la direction de Sylvain Salvati et de Christian Retoré / , 2012
Calculabilité, physique et cognition / par Bruno Marchal ; sous la direction de Jean-Paul Delahaye / [S.l.] : [s.n.] , 1998
Vers un assistant à la preuve en langue naturelle / Patrick Thévenon / Villeurbanne : [CCSD] , 2009
Higher-order languages : dualities and bisimulation enhancements / Jean-Marie Madiot ; sous la direction de Daniel Hirschkoff et de Davide Sangiorgi / , 2015
Faisceaux et sémantique des programmes / Mohand-Areski Nait Abdallah / [S.l.] : [s.n.] , 1980
Lambda-calculus, types and models / J. L. Krivine ; translated by René Cori / Paris : Masson , cop. 1993
A short introduction to intuitionistic logic / Grigori Mints / New York : Springer Science+Business Media, LLC , cop. 2000
Etude de la polarisation en logique / Olivier Laurent ; sous la dir. de Jean-Yves Girard / , 2002
Models and theories of pure and resource lambda calculas / Alberto Carraro ; sous la direction de Antonino Salibra et Antonio Bucciarelli / [S.l.] : [s.n.] , 2011
Nested Deduction in Logical Foundations for Computation / par Nicolas Guenot ; sous la direction de Lutz Strassburger / Lille : Atelier national de reproduction des thèses , 2013
Réductions correctes et optimales dans le lambda-calcul / Jean-Jacques Lévy ; [sous la direction de M. Nivat] / , 1978
Introduction to higher order categorical logic / J. Lambek,... P.J. Scott,... / [First paperback edition / Cambridge : Cambridge university press , 1988
Sémantiques de la logique linéaire et temps de calcul / Daniel de Carvalho ; sous la dir. de Thomas Ehrhard / , 2007
Introduction to [lambda]-trees / Ian Chiswell / Singapore : World Scientific , c2001
Compaction des langages fonctionnels / par Marc Pouzet ; sous la direction de Jean-Jacques Lévy / Le Chesnay : INRIA , 1995
Typing and Optimal reduction for λ-calculus in variants of Linear logic for Implicit computational complexity / Vincent Atassi ; sous la dir. de Patrick Baillot et Vauzeilles Jacqueline / [S.l.] : [s.n.] , 2008
Sémantique et syntaxe vectorielles de la logique linéaire / Christine Tasson / Villeurbanne : [CCSD] , 2010
Vers une ludique différentielle / Stéphane Zimmermann ; sous la direction de Thomas Ehrhard et Pierre-Louis Curien / Lille : Atelier national de reproduction des thèses , 2013
Types abstraits dans les systèmes répartis / Gilles Peskine ; sous la direction de Jean-Jacques Levy / Lille : Atelier national de reproduction des thèses , 2008
Sequential functions / Boubakar Gamatie / Le Chesnay, France : Institut National de Recherche en Informatique et en Automatique , [1990]
Programmer, calculer et raisonner avec les réseaux de la logique linéaire / Stéphane Gimenez ; sous la direction de Thomas Ehrhard / Lille : Atelier national de reproduction des thèses , 2009
The graph rewriting calculus : properties and expressive capabilities / Clara Bertolissi ; sous la direction de Claude Kirchner / Grenoble : Atelier national de reproduction des thèses , 2005
Typed lambda calculi and applications : second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, United Kingdom, April 10-12, 1995 : proceedings / Mariangiola Dezani-Ciancaglini, Gordon Plotkin, eds / Berlin : Springer-Verlag , cop. 1995
Typed lambda calculi and applications : 6th international conference, TLCA 2003, Valencia, Spain, June 10-12, 2003 : proceedings / [edited by] Martin Hofmann / Berlin [etc.] : Springer
Algorithmes de la morphologie mathématique pour les architectures orientées flux / par Jaromir Brambor ; sous la direction de Michel Bilodeau / , 2006
Algorithmes de la morphologie mathématique pour les architectures orientées flux / par Jaromir Brambor ; sous la direction de Michel Bilodeau / Grenoble : Atelier national de reproduction des thèses , 2006
Functional programming / Anthony J. Field, Peter G. Harrison / [3e tirage] / Wokingham (Gb) [etc.] : Addison-Wesley , 1993
Typed Lambda Calculi and Applications : 9th International Conference, TLCA 2009, Brasilia, Brazil, July 1-3, 2009 : Proceedings / Pierre-Louis Curien (ed.). / Berlin, Heidelberg : Springer Berlin Heidelberg
Algorithmes de la morphologie mathématique pour les architectures orientées flux / par Jaromir Brambor / Villeurbanne : [CCSD] , 2010
Typed lambda calculi and applications : 5th international conference, TLCA 2001, Kraków, Poland, May 2-5, 2001 : proceedings / [edited by] Samson Abramsky / Berlin [etc.] : Springer
Preuves, types et sous-types / Frédéric Ruyer / Villeurbanne : [CCSD]
Types and programming languages / Benjamin C. Pierce / Cambridge, Massachusetts : MIT Press
Lambda-calculus and combinators : an introduction / J. Roger Hindley,... Jonathan P. Seldin,... / Cambridge : Cambridge University Press , 2012
Proofs and types / Jean-Yves Girard,... ; translated [from French] and with appendices by Paul Taylor,... [et] Yves Lafont,... / Cambridge : Cambridge University Press
Propriétés de sécurité dans le lambda-calcul / par Tomasz Blanc ; sous la direction de Jean-Jacques Levy / Grenoble : Atelier national de reproduction des thèses , 2006
Differential nets experiments and reduction / Giulio Guerrieri ; sous la direction de Thomas Ehrhard et Lorenzo Tortora / Lille : Atelier national de reproduction des thèses , 2013
Lambda-calculus and combinators : an introduction / J. Roger Hindley,... Jonathan P. Seldin,... / Cambridge : Cambridge University Press
Typed lambda calculi and applications : [first] International Conference on Typed Lambda Calculi and Applications TLCA '93 March, 16–18, 1993, Utrech, The Netherlands : proceedings / [edited by] M. Bezem. J.F. Groote / Berlin [etc.] : Springer
Typed Lambda Calculi and Applications : Third International Conference on Typed Lambda Calculi and Applications TLCA '97 Nancy, France, April 2–4, 1997 Proceedings / edited by Philippe Groote, J. Roger Hindley. / Berlin [etc.] : Springer
The graph rewriting calculus : properties and expressive capabilities / Clara Bertolissi ; sous la direction de Claude Kirchner / [S.l.] : [s.n.] , 2005
Logique et interaction : une étude sémantique de la totalité / Pierre Clairambault / Villeurbanne : [CCSD] , 2010
Homotopic deductions in unification logic = = Déductions homotopes dans la logique de l'unification : / Philippe Le Chenadec / Le Chesnay, France : Institut National de Recherche en Informatique et en Automatique , [1991]
Récursion généralisée et inférence de types avec intersection / par Pascal Zimmer ; sous la dir. de Gérard Boudol / [S.l.] : [s.n.] , 2004
Sémantique et syntaxe vectorielles de la logique linéaire / Christine Tasson ; sous la direction de Pierre-Louis Curien / Lille : Atelier national de reproduction des thèses , 2009
Une étude combinatoire du lambda-calcul avec ressources uniforme / Jean Baptiste Midez ; sous la direction de Laurent Régnier / [S.l.] : [s.n.] , 2014
Incrementality and effect simulation in the simply typed lambda calculus = = Incrémentalité et simulation d'effets dans le lambda calcul simplement typé : / Lourdes del Carmen González Huesca / Villeurbanne : [CCSD] , 2016
Models and Theories of Lambda calculus / Giulio Manzonetto ; sous la direction de Chantal Berline et Antonino Salibra / [S.l.] : [s.n.] , 2008
Opérateurs de typage non-idempotents, au delà du lambda-calcul / Pierre Vial ; sous la direction de Delia Kesner et de Damiano Mazza / , 2017
Sur la notion d'observation en sémantique / Benjamin Leperchey / Villeurbanne : [CCSD] , 2006
Sémantique des temps du français : une formalisation compositionnelle / Anais Lefeuvre ; sous la direction de Christian Retoré et de Mauro Gaio / , 2014
Syntaxe et modèles d'une composition non-associative des programmes et des preuves / Guillaume Munch[-Maccagnoni] ; sous la direction de Pierre-Louis Curien / [S.l.] : [s.n.] , 2013
Typage et déduction dans le calcul de réécriture / Benjamin Wack ; sous la direction de Claude Kirchner / [Lieu de publication inconnu] : [éditeur inconnu] , cop. 2005
Structures et modèles de calculs de réécriture / Germain Faure ; sous la direction de Claude Kirchner / Grenoble : Atelier national de reproduction des thèses , 2007
Typage et déduction dans le calcul de réécriture / Benjamin Wack / Villeurbanne : [CCSD] , 2005
Typage et déduction dans le calcul de réécriture / Benjamin Wack ; sous la direction de Claude Kirchner / Grenoble : Atelier national de reproduction des thèses , 2005
Non idempotent-intersection types to refine strong normalisation with quantitative information / par Alexis Bernadet ; sous la direction de Benjamin Werner / Lille : Atelier national de reproduction des thèses , 2014
Modèles complètement adéquats et stables des lambda-calculs typés / Gérard Berry / [Lieu de publication inconnu] : [Éditeur inconnu] , 1979
Modèles et calcul du raisonnement dynamique / par Ramon Pino Pérez / [S.l.] : [s.n.] , 1999
Certification de programmes impératifs en logique dynamique : le cas du lambda-calcul avec références / Séverine Maingaud ; sous la direction de Alexandre Miquel et de Vincent Balat / [S.l.] : [s.n.] , 2011
La notion d'indéfini en lambda-calcul / Yves Bertini ; dir. de la thèse René David / Grenoble : Atelier national de reproduction des thèses , 2005
Encoding a dependent-type [lambda]-calculus in a logic programming language / Amy Felty, Dale Miller / Le Chesnay, France : Institut National de Recherche en Informatique et en Automatique , 1990
Nested Deduction in Logical Foundations for Computation [Ressource électronique] / par Nicolas Guenot ; sous la direction de Lutz Strassburger / Villeurbanne : TEL , 2014
Une géométrie de calcul : Réseaux de preuve, appel-par-pousse-valeur et topologie du consensus / Jules Chouquet ; sous la direction de Christine Tasson et de Lionel Vaux / , 2019
Nets between determinism and nondeterminism / Paolo Tranquilli ; sous la direction de Lorenzo Tortora de Falco et Antonio Bucciarelli / [S.l.] : [s.n.] , 2009
Autour du lambda-calcul partiel / Christian Even ; sous la direction de Gérard Jacob / [S.l.] : [s.n.] , 1993
Complexité implicite dans des Lambda -calculs concurrents / Antoine Madet ; sous la direction de Roberto Amadio et de Patrick Baillot / Lille : Atelier national de reproduction des thèses , 2012
Réalisabilité et paramétricité dans les systèmes de types purs / Marc Lasson ; sous la direction de Patrick Baillot / , 2012
Réalisabilité classique et protocoles réseaux / Philippe Hesse / Villeurbanne : [CCSD] , 2008
Calcul de réécriture : fondements et applications / Horatiu Cirstea ; sous la direction de Claude Kirchner / [S. l.] : [s. n.] , 2000
Nouvelles notions de réduction en lambda-calcul : Application à la réalisation d'un langage fonctionnel fondé sur la réduction forte / Didier Vidal ; sous la direction de Pierre Marchand / Grenoble : Atelier national de reproduction des thèses , 1989
Language & grammar : studies in mathematical linguistics and natural language / edited by C. Casadio, P.J. Scott, R.A.G. Seely / Stanford (Calif.) : Center for the Study of Language and Information , cop. 2005
A short introduction to intuitionistic logic / Grigori Mints / New York : Kluwer Academic/Plenum Publishers , cop. 2000
La programmation applicative : de LIPS [i.e. LISP] à la machine en passant par le lambda-calcul / Emmanuel Saint-James ; avec une préface de: Jacques Arsac / Paris : Hermès , Imp. 1993
Behavioural distances for probabilistic higher-order programs / Raphaëlle Crubillé ; sous la direction de Thomas Ehrhard et de Ugo Dal Lago / , 2019
Typed lambda calculi and applications : 10th international conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011 : proceedings / Luke Ong (ed.) / Berlin : Springer , cop. 2011
Typing and Optimal reduction for λ-calculus in variants of Linear logic for Implicit computational complexity / Vincent Atassi ; sous la direction de Patrick Baillot et Vauzeilles Jacqueline / Lille : Atelier national de reproduction des thèses , 2008
Programming language theory and its implementation : applicative and imperative paradigms / Michael J. C. Gordon / New York : Prentice Hall , 1988
Session type : semantic foundations and object-oriented applications / Elena Giachino ; sous la direction de Giuseppe Castagna / Lille : Atelier national de reproduction des thèses , 2009
A modern perspective on type theory : from its origins until today / Fairouz Kamareddine, Twan Laan and Rob Nederpelt / Dordrecht : Kluwer Academic Publishers
Syntaxe et modèles d'une composition non-associative des programmes et des preuves / Guillaume Munch[-Maccagnoni] / Villeurbanne : [CCSD] , 2013
Preuves, types et sous-types / Frédéric Ruyer ; dir. de la thèse rené David / Grenoble : Atelier national de reproduction des thèses , 2006
Introduction to combinators and [lambda] calculus / J. Roger Hindley,... Jonathan P. Seldin,.. / Cambridge : Cambridge University Press
Calcul différentiel et équations différentielles : licence de mathématiques / Abdelhafed Elkhadiri / Paris : Ellipses
Vérification de transformations de données arborescentes : les transducteurs d'arbres appliqués à un problème de vérification sur des scripts shell / Paul D. Gallot ; sous la direction de Sylvain Salvati et de Aurélien Lemay / , 2021
Typed lambda calculi and applications : Third International Conference on Typed Lambda Calculi and Applications, TLCA '97, Nancy, France, April 2-4, 1997 : proceedings / Philippe de Groote, J. Roger Hindley (eds.) / Berlin : Springer
Processes, terms and cycles : steps on the road to infinity : essays dedicated to Jan Willem Klop on the occasion of his 60th birthday / Aart Middeldorp, Vincent van Oostrom, Femke van Raamsdonk, Roel de Vrijer (Eds.) / Berlin : Springer , cop. 2005
Typed lambda calculi and applications : 6th international conference, TLCA 2003, Valencia, Spain, June 10-12, 2003 : proceedings / Martin Hofmann (ed.) / Berlin : Springer , cop. 2003
Typed lambda calculi and applications : 4th international conference, TLCA'99, L'Aquila, Italy, April 7-9, 1999 : proceedings / Jean-Yves Girard (ed) / New York : Springer
Types abstraits dans les systèmes répartis / Gilles Peskine ; sous la direction de Jean-Jacques Levy / [S.l.] : [s.n.] , 2008
Normalisation et équivalence en théorie de la démonstration et théorie des types / Stéphane Lengrand ; sous la direction de Delia Kesner / [S.l.] : [s.n.] , 2006
Jeux de réalisabilité en arithmétique classique / Mauricio Guillermo / Villeurbanne : [CCSD] , 2011
Théorie et pratique des réseaux d'interaction / Sylvain Lippi ; sous la dir. d' Yves Lafont / [S.l.] : [s.n.] , 2002
The [lambda lambda-bar]-calculus : a dual calculus for unconstrained strategies = = Le [lambda lambda-bar]-calcul : un calcul dual pour les stratégies non contraintes / Alexis Goyet ; sous la direction de Pierre-Louis Curien / Lille : Atelier national de reproduction des thèses , 2013
The lambda-structure of texts / Ioan-Iovitz Popescu, Radek Čech, Gabriel Altmann / Lüdenscheid : RAM-Verl. , 2011
Etude et réalisation d'un système catégorique combinatoire pour la description, le raisonnement et la construction d'architectures matérielles / Karim Jaber ; sous la dir. de Jacqueline Signorini / [Sl] : [sn] , 2000
Derivation and computation : taking the Curry-Howard correspondence seriously / Harold Simmons,... / Cambridge : Cambridge University Press , cop. 2000
Initiation au [lambda]-calcul : notes de cours du DEA "Fonctionnalité, structures de calcul et programmation" donné à l'université Paris VII en 1987-88 et 1988-89 / Gérard Huet, ... / [Lieu de publication inconnu] : [éditeur inconnu] , 1989
Mise au point d'un formalisme syntaxique de haut niveau pour le traitement automatique des langues / Jerome Kirman ; sous la direction de Bruno Courcelle et de Lionel Clément et de Sylvain Salvati / , 2015
Domains and lambda-calculi / Roberto M. Amadio,... Pierre-Louis Curien,... / Cambridge : Cambridge University Press
Les calculs de substitutions explicites comme fondement des implantations des langages fonctionnels / Zine-El-Abidine Benaissa ; sous la direction de Pierre Lescanne / , 1997
Substitutions explicites et unification d'ordre supérieur / Daniel Briaud ; sous la direction de Pierre Lescanne / , 1997
A modern perspective on type theory : from its origins until today / Fairouz Kamareddine, Twan Laan and Rob Nederpelt / Dordrecht : Kluwer Academic Publishers
Typed lambda calculi and applications / M. Bezem. J.F. Groote, eds / Berlin : Springer-Verlag , cop. 1993
Automatisation de la Construction Sémantique dans le Lambda Calcul Simplement Typé avec plusieurs Types de base / Sébastien Hinderer ; sous la direction de Patrick Blackburn / , 2008
Propriétés de sécurité dans le lambda-calcul / par Tomasz Blanc ; sous la direction de Jean-Jacques Levy / [S.l.] : [s.n.] , 2006
Functional programming / Anthony J. Field, Peter G. Harrison,... / Wokingham : Addison-Wesley , 1988
Types and programming languages / Benjamin C. Pierce / Cambridge, Mass. : MIT Press
Preuves, types et sous-types / Frédéric Ruyer / Villeurbanne : [CCSD] , 2009
Typed lambda calculi and applications : 9th international conference, TLCA 2009, Brasília, Brazil, July 1-3, 2009 : proceedings / Pierre-Louis Curien (ed.) / Berlin : Springer , cop. 2009
Etude d’un Lambda-calcul issu d’une logique classique / Khelifa Saber ; dir. de la thèse Karim Nour / Chambéry : Université de Savoie , 2007
Logic colloquium '82 : proceedings of the Colloquium held in Florence, 23-28 August 1982 / edited by G. Lolli, G. Longo, A. Marcja / Amsterdam [etc] : North-Holland
Linearity and beyond in demotational semantics / Mauro Piccolo ; sous la direction de Pierre-Louis Curien et de Simona Ronchi Della Rocca / Lille : Atelier national de reproduction des thèses , 2009
Algorithmes de typage dans les langages fonctionnels / jacques Rolland / Nantes : CNAM , 1996
Logique et fondements de l'informatique : logique du 1er ordre, calculabilité et lambda-calcul / Richard Lassaigne, Michel de Rougemont / Paris : Hermès
Vers un assistant à la preuve en langue naturelle / Patrick Thévenon ; dir. de la thèse René David / Grenoble : Atelier national de reproduction des thèses , 2006
Models of the lambda calculus / C.P.J. Koymans / Amsterdam : Centrum voor Wiskunde en Informatica , cop. 1984
From proof terms to programs : . an operational and quantitative study of intuistionistic Curry-Howard calculi / Loîc Peyrot ; sous la direction de Delia Kesner / , 2022
Typed Lambda Calculi and Applications : 8th International Conference,TLCA 2007, Paris, France,June 26-28, 2007. Proceedings / edited by Simona Ronchi Rocca. / Berlin, Heidelberg : Springer Berlin Heidelberg
Lectures on the Curry-Howard isomorphism / Morten Heine Sørensen, Paweł Urzyczyn / Amsterdam : Elsevier , 2006
An introduction to lambda calculi for computer scientists / Chris Hankin, ... / London : King's collegue , cop. 2004
Vers une ludique différentielle / Stéphane Zimmermann ; sous la direction de Thomas Ehrhard et Pierre-Louis Curien / [S.l.] : [s.n.] , 2013
La plein paresse, une certain optimalité : partage de sous-termes et stratégies de réduction en réécriture d'ordre supérieur / Thibaut Balabonski ; sous la direction de Delia Kesner / [S.l.] : [s.n.] , 2012
Sur la notion d'observation en sémantique / Benjamin Leperchey ; sous la direction de Antonio Bucciarelli / Lille : Atelier national de reproduction des thèses , 2005
Structures algébriques pour le lambda calcul et la logique propositionnelle = = Algebraic structures for the lambda calculus and the propositional logic : / Giordano Favro ; sous la direction de Antonio Bucciarelli et Antonino Salibra / [Lieu de publication inconnu] : [éditeur inconnu] , 2016
Logique et informatique : une introduction / [17e École de printemps d'informatique théorique, Albi, 1989] ; contributions de Serge Grigorieff, Yves Lafont, Thierry Coquand,... [et al.] ; réunies et présentées par Bruno Courcelle ; avant-propos de Maurice Nivat / Rocquencourt : Institut national de recherche en informatique et en automatique , DL 1991
Systèmes de types purs et substitutions explicites / Romain Kervarc ; sous la direction de Pierre Lescanne / Grenoble : Atelier national de reproduction des thèses , 2007
Type theory and formal proof : an introduction / Rob Nederpelt, ..., Herman Geuvers, ... / Cambridge : Cambridge University Press , 2014
Récursion généralisée et inférence de types avec intersection / par Pascal Zimmer ; sous la direction de Gérard Boudol / Grenoble : Atelier national de reproduction des thèses , 2004
Some extensional term models for combinatory logics and [lambda]-calculi / door Hendrik Pieter Barendregt ; [onder leiding van de lector Dr. D. Van Dalen] / [s.l.] : [s.n.] , 1971
Confluence of extensional and non-extensional lambda-calculi with explicit substitutions / Kesner D / Orsay, France : Université Paris-Sud, Centre d'Orsay, Laboratoire de recherche en Informatique , 1997
Nested Deduction in Logical Foundations for Computation / par Nicolas Guenot ; sous la direction de Lutz Strassburger / [S.l.] : [s.n.] , 2013
Propriétés de normalisation de calculs logiques symétriques / Peter Battyanyi ; sous la direction de René David, Pal Dömösi et Karim Nour / Lille : Atelier national de reproduction des thèses , 2007
Advances in linear logic / edited by Jean-Yves Girard, Yves Lafont, Laurent Regnier / Cambridge : Cambridge University Press
Higher-Order Confluence and Universe Embedding in the Logical Framework / Gaspard Ferey ; sous la direction de Gilles Dowek / , 2021
Lambda-calculi for (strict) parallel functions = = Lambda- calculs pour les fonctions parallèles (strictes) : / Gérard Boudol / Le Chesnay, France : Institut National de Recherche en Informatique et en Automatique , [1991]
Incrementality and effect simulation in the simply typed lambda calculus = = Incrémentalité et simulation d'effets dans le lambda calcul simplement typé : / Lourdes del Carmen González Huesca ; sous la direction de Hugo Herbelin et Yann Régis-Gianas / , 2015
Syntaxe et modèles d'une composition non-associative des programmes et des preuves / Guillaume Munch[-Maccagnoni] ; sous la direction de Pierre-Louis Curien / Lille : Atelier national de reproduction des thèses , 2013
Lambda-calculus, combinators, and functional programming / G. E. Revesz / Cambridge [England] : Cambridge University Press , cop. 1988
Session type : semantic foundations and object-oriented applications / Elena Giachino ; sous la direction de Giuseppe Castagna / [S.l.] : [s.n.] , 2009
The lambda calculus : its syntax and semantics / H.P. Barendregt,... / Amsterdam : North-Holland , 1981
Typed abstract syntax / par Julianna Zsidó ; sous la direction de André Hirschowitz / [S.l.] : [s.n.] , 2010
Language in action : Categories, Lambdas and Dynamic Logic / Johan van Benthem,... / Amsterdam : North-Holland , 1995
Integrating Automated Theorem Provers in Proof Assistants / Yacine El haddad ; sous la direction de Frédéric Blanqui et de Guillaume Burel / , 2021
Aspects dynamiques et physiques de la matière noire / par Sébastien Peirani ; sous la direction de José Antonio de Freitas Pacheco / [S.l.] : [s.n.] , 2005
The lambda calculus : its syntax and semantics / H. P. Barendregt,... / Revised edition / Amsterdam : North-Holland , 1984
Réseaux de preuve, types principaux et lambda-termes / Eric Duquesne ; sous la direction de Jean-Louis Krivine / [S.l.] : [s.n.] , 1992
Géométrie de l'interaction et réseaux différentiels / Marc de Falco ; sous la direction de Laurent Regnier / , 2019
Sharing, Superposition and Epansion : Geometrical Studies on the semantics and Implementation of lambda-calculi and proof-nets / Marco Solieri ; sous la direction de Stefano Guerrini et de Simone Martini / , 2016
Differential nets experiments and reduction / Giulio Guerrieri ; sous la direction de Thomas Ehrhard et Lorenzo Tortora / [S.l.] : [s.n.] , 2013
Sequential models of PCF : somme contributions to the domain-theoretic approach to full abstraction / Antonio Bucciarelli / [S. l.] : [s. n.] , 1993
Lambdas-théories probabilistes / Thomas Leventis ; sous la direction de Laurent Régnier et de Lionel Vaux / , 2016
Définitions par réécriture dans le lambda-calcul : confluence, réductibilité et typage / Colin Riba ; sous la direction de Claude Kirchner et de Frédéric Blanqui / Vandoeuvre-lès-Nancy : Institut National Polytechnique de Lorraine , 2007
Logique, réduction, résolution / René Lalement,... ; préface de Michel Demazure / Paris : Masson , 1990
Typed lambda calculi and applications : 10th International conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011 : proceedings / Luke Ong (ed.) / Berlin, Heidelberg : Springer Berlin Heidelberg
Typed lambda calculi and applications : 5th international conference, TLCA 2001, Kraków, Poland, May 2-5, 2001 : proceedings / Samson Abramsky (ed.) / New York : Springer
The optimal implementation of functional programming languages / Andrea Asperti, Stefano Guerrini / Cambridge : Cambridge University Press
On sequential functions = = A propos des fonctions sequentielles : / Boubakar Gamatie / Le Chesnay, France : Institut National de Recherche en Informatique et en Automatique , [1989]
Logique et interaction : une étude sémantique de la totalité / Pierre Clairambault ; sous la direction de Pierre-Louis Curien / Lille : Atelier national de reproduction des thèses , 2010
Vers un calcul des constructions pédagogique / Vincent Demange ; sous la direction de Loïc Colson et de Sorin Stratulat / , 2012
Etude de la polarisation en logique / Olivier Laurent / Villeurbanne : [CCSD] , 2005
The parametric lambda calculus : a meta-model for computation / Simona Ronchi Della Rocca, Luca Paolini / New York : Springer-Verlag , cop. 2004
RESULTATS DE CONFLUENCE POUR LES REGLES FORTES DE LA LOGIQUE COMBINATOIRE CATEGORIQUE ET LIENS AVEC LES LAMBDA-CALCULS / THERESE HARDIN-ACCART ; sous la direction de PIERRE-LOUIS CURIEN / [Lieu de publication inconnu] : [Éditeur inconnu] , 1987
Réductions correctes et optimales dans le lambda-calcul / Jean-Jacques Lévy / [Lieu de publication inconnu] : [Éditeur inconnu] , 1978
λ-calcul différentiel et logique classique : interactions calculatoires / Lionel Vaux ; sous la direction de Thomas Ehrhard, Laurent Regnier / Lille : Atelier national de reproduction des thèses , 2007
Une approche de la détection statique d'exceptions non rattrapées en appel par nom / Sylvain Lebresne ; sous la direction de Pierre-Louis Curien / Lille : Atelier national de reproduction des thèses , 2008
Typed Lambda Calculi and Applications : 7th International Conference, TLCA 2005, Nara, Japan, April 21-23, 2005, Proceedings / edited by Pawel Urzyczyn. / Berlin, Heidelberg : Springer Berlin Heidelberg
Semantics of linear logic and higher-order model-checking / Charles Grellois ; sous la direction de Paul-André Melliès et Olivier Serre / [Lieu de publication inconnu] : [éditeur inconnu] , 2016
Two-level functional languages / Flemming Nielson, Hanne Riis Nielson / Cambridge : Cambridge University Press , 1992
The chemical abstract machine = = La machine abstraite chimique : / Gérard Berry, Gérard Boudol / Le Chesnay, France : Institut National de Recherche en Informatique et en Automatique , [1989]
Programmer, calculer et raisonner avec les réseaux de la logique linéaire / Stéphane Gimenez ; sous la direction de Thomas Ehrhard / [S.l.] : [s.n.] , 2009
Calculs de représentations sémantiques et syntaxe générative : les grammaires minimalistes catégorielles / présentée par Maxime Amblard ; [sous la direction de] Christian Retoré / Lille : Atelier national de reproduction des thèses , 2007
Preuves, types et sous-types / Frédéric Ruyer ; dir. de la thèse rené David / Chambéry : Université de Savoie , 2006
Théories symétriques monoïdales closes, applications au lambda-calcul et aux bigraphes / Aurélien Pardon ; sous la direction de Daniel Hirschkoff / , 2011
Compilation des langages fonctionnels dans les combinateurs catégoriques : application au langage ML / Michel Mauny / [S.l.] : [s.n.] , 1985
Etude d'un Lambda-calcul issu d'une logique classique / Khelifa Saber ; dir. de la thèse Karim Nour / Grenoble : Atelier national de reproduction des thèses , 2007
Structures et modèles de calculs de réécriture [Ressource électronique] / Germain Faure ; sous la direction de Claude Kirchner / [S.l.] : [s.n.] , 2007
Sur la notion d'observation en sémantique / Benjamin Leperchey ; sous la direction de Antonio Bucciarelli / [S.l.] : [s.n.] , 2005
Espaces de réductions dans les systèmes de réécriture non-séquentiels et les systèmes de réécriture infinitaires = = Reduction spaces in non-sequential and infinitary rewriting systems : = = espacios de reducción en sistemas de reescritura no-secuenciales e infinitarios : / Carlos Alberto Lombardi ; sous la direction de Alejandros Rios et Delia Kesner / Lille : Atelier national de reproduction des thèses , 2014
Réalisabilité classique et protocoles réseaux / Philippe Hesse ; sous la direction de Jean-Louis Krivine / [S.l.] : [s.n.] , 2008
Adaptive biasing algorithms : mathematical analysis and applications in molecular dynamics / Lise Maurin ; sous la direction de Tony Lelièvre et de Jean-Philip Piquemal et de Pierre Monmarché / , 2021
Développements d'algorithmes dans le calcul des constructions / Joseph Rouyer ; sous la direction de Pierre Lescanne / Grenoble : Atelier national de reproduction des thèses , 1994
Complexité implicite dans des Lambda -calculs concurrents / Antoine Madet ; sous la direction de Roberto Amadio et de Patrick Baillot / [S.l.] : [s.n.] , 2012
Les ressources explicites vues par la théorie de la réécriture / Fabien Renaud / Villeurbanne : [CCSD] , 2012
Nets between determinism and nondeterminism / Paolo Tranquilli ; sous la direction de Lorenzo Tortora de Falco et Antonio Bucciarelli / Lille : Atelier national de reproduction des thèses , 2009
Calculs de représentations sémantiques et syntaxe générative : les grammaires minimalistes catégorielles / présentée par Maxime Amblard / Villeurbanne : [CCSD] , 2007
Une approche unifiée de la combinatoire du lambda-calcul et des cartes : bijections et propriétés limites / Alexandros Singh ; sous la direction de Olivier Bodini et de Noam Zeilberger / , 2022
Représentation et transformation : un modèle de la réutilisabilité pour les langages fonctionnels à objets / par Marc Pantel ; sous la dir. de Patrick Sallé / [S.l] : [s.n] , 1994
Semantics of linear logic and higher-order model-checking / Charles Grellois ; sous la direction de Paul-André Melliès et Olivier Serre / Lille : Atelier national de reproduction des thèses , 2016
Disséquer les sémantiques dénotationnelles : du bien établi H* aux plus récents coeffets quantitatifs = = Dissecting denotational semantics : from the well-established H* to the more recent quantitative coeffects / Flavien Breuvart ; sous la direction de Antonio bucciarelli et Michele Pagani / [S.l.] : [s.n.] , 2015
La notion d'indéfini en lambda-calcul / Yves Bertini ; dir. de la thèse René David / [S.l.] : [s.n] , 2005
Cluster algebras and triangulated surfaces Part II, Lambda lengths / Sergey Fomin, Dylan Thurston / Providence, Rhode Island : American Mathematical Society , 2018
Types inductifs, isomorphismes et récriture extensionnelle / David Chemouil ; sous la direction de Sergei Soloviev / Grenoble : Atelier national de reproduction des thèses , 2004
Nouvelles notions de réduction en lambda-calcul : Application à la réalisation d'un langage fonctionnel fondé sur la réduction forte / Didier Vidal ; Sous la direction de Pierre Marchand / , 1989
Processes, Terms and Cycles: Steps on the Road to Infinity : Essays Dedicated to Jan Willem Klop on the Occasion of his 60th Birthday / edited by Roel de Vrijer, Aart Middeldorp, Vincent van Oostrom, Femke van Raamsdonk. / Berlin, Heidelberg : Springer Berlin Heidelberg
Language in action : categories, lambdas and dynamic logic / Johan Van Benthem,... / Amsterdam : North-Holland , 1991, cop. 1991
Propriétés de sécurité dans le lambda-calcul / Tomasz Blanc le 2006 [ Palaiseau, Ecole polytechnique ]
Autour du lambda-calcul avec constructeurs / Barbara Petit le 2011 [ Lyon, École normale supérieure ]
Linear logic, type assignment systems and implicit computational complexity / Erika De Benedetti le 2015 [ Lyon, École normale supérieure ]
Higher-order languages : dualities and bisimulation enhancements / Jean-Marie Madiot le 2015 [ Lyon, École normale supérieure ]
Théories symétriques monoïdales closes, applications au lambda-calcul et aux bigraphes / Aurélien Pardon le 2011 [ Lyon, École normale supérieure ]
Propriétés de normalisation de calculs logiques symétriques / Péter Battyanyi le 2007 [ Chambéry ]
La notion d'indéfini en lambda-calcul / Yves Bertini le 2005 [ Chambéry ]
Etude d’un Lambda-calcul issu d’une logique classique / Khelifa Saber le 2007 [ Chambéry ]
Définitions par réécriture dans le lambda-calcul : confluence, réductibilité et typage / Colin Riba le 2007 [ Vandoeuvre-les-Nancy, INPL ]
Vers un assistant à la preuve en langue naturelle / Patrick Thévenon le 2006 [ Chambéry ]
Etude de la polarisation en logique / Olivier Laurent le 2001 [ Aix-Marseille 2 ]
Logiques et réécriture / Sohame Selhab le 1998 [ Nancy 1 ]
Normalisation et équivalence en théorie de la démonstration et théorie des types / Stéphane Lengrand le 2006 [ Paris 7 ]
Calcul de réécriture : fondements et applications / Horatiu Cirstea le 2000 [ Nancy 1 ]
Nets between determinism and nondeterminism / Paolo Tranquilli le 2009 [ Paris 7 ]
Théorie et pratique des réseaux d'interaction / Sylvain Lippi le 2001 [ Aix-Marseille 2 ]
Non idempotent-intersection types to refine strong normalisation with quantitative information / Alexis Bernadet le 2014 [ Palaiseau, Ecole polytechnique ]
The [lambda lambda-bar]-calculus : a dual calculus for unconstrained strategies / Alexis Goyet le 2013 [ Paris 7 ]
Récursion généralisée et inférence de types avec intersection / Pascal Zimmer le 2004 [ Nice ]
Syntaxe et modèles d'une composition non-associative des programmes et des preuves / Guillaume Munch le 2013 [ Paris 7 ]
Lambdas-théories probabilistes / Thomas Leventis le 2016 [ Aix-Marseille ]
Complexité implicite dans des Lambda -calculs concurrents / Antoine Madet le 2012 [ Paris 7 ]
Structures algébriques pour le lambda calcul et la logique propositionnelle / Giordano Favro le 2016 [ Sorbonne Paris Cité ]
Implicit automata in linear logic and categorical transducer theory / Le Thanh Dung Nguyen le 2021 [ Paris 13 ]
Nouvelles notions de réduction en lambda-calcul : Application à la réalisation d'un langage fonctionnel fondé sur la réduction forte / Didier Vidal le 1989 [ Nancy 1 ]
Sur la notion d'observation en sémantique / Guillaume Leperchey le 2005 [ Paris 7 ]
Les ressources explicites vues par la théorie de la réécriture / Fabien Renaud le 2011 [ Paris 7 ]
Linearity and beyond in demotational semantics / Mauro Piccolo le 2009 [ Paris 7 ]
The graph rewriting calculus : properties and expressive capabilities / Clara Bertolissi le 2005 [ Vandoeuvre-les-Nancy, INPL ]
λ-calcul différentiel et logique classique : interactions calculatoires / Lionel Vaux le 2007 [ Aix-Marseille 2 ]
La plein paresse, une certain optimalité : partage de sous-termes et stratégies de réduction en réécriture d'ordre supérieur / Thibaut Balabonski le 2012 [ Paris 7 ]
Models and Theories of Lambda calculus / Giulio Manzonetto le 2008 [ Paris 7 ]
Réseaux de preuve, types principaux et lambda-termes / Eric Duquesne le 1992 [ Paris 7 ]
Certification de programmes impératifs en logique dynamique : le cas du lambda-calcul avec références / Séverine Maingaud le 2011 [ Paris 7 ]
Structures et modèles de calculs de réécriture / Germain Faure le 2007 [ Nancy 1 ]
Substitutions explicites et unification d'ordre supérieur / Daniel Briaud le 1997 [ Nancy 1 ]
Généralisation des réseaux d'interaction avec l'agent amb de Mc Carthy : propriétés et applications / Lionel Khalil le 2003 [ Palaiseau, Ecole polytechnique ]
Sémantique des temps du français : une formalisation compositionnelle / Anaïs Lefeuvre le 2014 [ Bordeaux ]
Représentation et transformation : un modèle de la réutilisabilité pour les langages fonctionnels à objets / Marc Pantel le 1994 [ Toulouse, INPT ]
Espaces de réductions dans les systèmes de réécriture non-séquentiels et les systèmes de réécriture infinitaires / Carlos Alberto Lombardi le 2014 [ Paris 7 ]
Mise au point d'un formalisme syntaxique de haut niveau pour le traitement automatique des langues / Jerome Kirman le 2015 [ Bordeaux ]
Vers une ludique différentielle / Stéphane Zimmermann le 2013 [ Paris 7 ]
Models and theories of pure and resource lambda calculas / Alberto Carraro le 2011 [ Paris 7 ]
Typing and Optimal reduction for λ-calculus in variants of Linear logic for Implicit computational complexity / Vincent Atassi le 2008 [ Paris 13 ]
Sémantique des Jeux Quantique / Marc De Visme le 2020 [ Lyon ]
Calculabilité, physique et cognition / Bruno Marchal le 1998 [ Lille 1 ]
Une étude combinatoire du lambda-calcul avec ressources uniforme / Jean baptiste Midez le 2014 [ Aix-Marseille ]
Une approche unifiée de la combinatoire du lambda-calcul et des cartes : bijections et propriétés limites / Alexandros Singh le 2022 [ Paris 13 ]
Réalisabilité classique : nouveaux outils et applications / Guillaume Geoffroy le 2019 [ Aix-Marseille ]
Fonctions récursives générales dans le calcul des constructions / Antonia Balaa le 2002 [ Nice ]
Vers une théorie de l’approximation des programmes basée sur la notion de ressources / Davide Barbarossa le 2021 [ Paris 13 ]
Développements d'algorithmes dans le calcul des constructions / Joseph Rouyer le 1994 [ Vandoeuvre-les-Nancy, INPL ]
Sharing, Superposition and Epansion : Geometrical Studies on the semantics and Implementation of lambda-calculi and proof-nets / Marco Solieri le 2016 [ Sorbonne Paris Cité ]
Behavioural distances for probabilistic higher-order programs / Raphaëlle Crubillé le 2019 [ Sorbonne Paris Cité ]
From proof terms to programs : . an operational and quantitative study of intuistionistic Curry-Howard calculi / Loîc Peyrot le 2022 [ Université Paris Cité ]
Une automatisation du calcul des résidus en sémantique naturelle / Yves Bertot le 1991 [ Nice ]
Intersection types and ressource calculi in the denotational semantics of lambda-calculus / Federico Olimpieri le 2020 [ Aix-Marseille ]
Integrating Automated Theorem Provers in Proof Assistants / Yacine El haddad le 2021 [ université Paris-Saclay ]
Types union, intersection, et dépendants dans le lambda-calcul explicitement typé / Claude Stolze le 2019 [ Université Côte d'Azur (ComUE) ]
Jeux de typage et analyse de lambda-grammaires non-contextuelles / Pierre Bourreau le 2012 [ Bordeaux 1 ]
Une approche de la détection statique d'exceptions non rattrapées en appel par nom / Sylvain Lebresne le 2008 [ Paris 7 ]
Typed abstract syntax / Julianna Zsidó le 2010 [ Nice ]
Types inductifs, isomorphismes et récriture extensionnelle / David Chemouil le 2004 [ Toulouse 3 ]
Automatisation de la Construction Sémantique dans le Lambda Calcul Simplement Typé avec plusieurs Types de base / Sébastien Hinderer le 2008 [ Nancy 1 ]
Jeux de réalisabilité en arithmétique classique / Mauricio Guillermo le 2008 [ Paris 7 ]
Réalisabilité classique et protocoles réseaux / Philippe Hesse le 2008 [ Paris 7 ]
Preuves, types et sous-types / Frédéric Ruyer le 2006 [ Chambéry ]
Calculs de représentations sémantiques et syntaxe générative : les grammaires minimalistes catégorielles / Maxime Amblard le 2007 [ Bordeaux 1 ]
Types abstraits dans les systèmes répartis / Gilles Peskine le 2008 [ Paris 7 ]
Session type : semantic foundations and object-oriented applications / Elena Giachino le 2009 [ Paris 7 ]
Une approche contrôlée du traitement d'exceptions en programmation fonctionnelle / Catherine Lucquiaud-Pilière le 2001 [ Nancy 1 ]
Programmer, calculer et raisonner avec les réseaux de la logique linéaire / Stéphane Gimenez le 2009 [ Paris 7 ]
Sémantique et syntaxe vectorielles de la logique linéaire / Christine Tasson le 2009 [ Paris 7 ]
Les calculs de substitutions explicites comme fondement des implantations des langages fonctionnels / Zine-EI-Abidine Benaissa le 1997 [ Nancy 1 ]
Sémantiques de la logique linéaire et temps de calcul / Daniel de Carvalho le 2007 [ Aix-Marseille 2 ]
L' adverbial temporel en DONGAN en coréen : description et formalisation / Hyunjung Son le 2003 [ Paris, EHESS ]
Aspects dynamiques et physiques de la matière noire / Sébastien Peirani le 2005 [ Nice ]
Géométrie de l'interaction et réseaux différentiels / Marc de Falco le 2009 [ Aix-Marseille 2 ]
Etude et réalisation d'un système catégorique combinatoire pour la description, le raisonnement et la construction d'architectures matérielles / Karim Jaber le 2000 [ Paris 8 ]
Systèmes de types purs et substitutions explicites / Romain Kervarc le 2007 [ École normale supérieure (Lyon ; 1987-2009) ]
Differential nets experiments and reduction / Giulio Guerrieri le 2013 [ Paris 7 ]
Problèmes de filtrage et problème d'analyse pour les grammaires catégorielles abstraites / Sylvain Salvati le 2005 [ Vandoeuvre-les-Nancy, INPL ]
Vers un calcul des constructions pédagogique / Vincent Demange le 2012 [ Université de Lorraine ]
Semantics of linear logic and higher-order model-checking / Charles Grellois le 2016 [ Sorbonne Paris Cité ]
Une théorie des constructions / Thierry Coquand le 1985 [ Paris 7 ]
Réductions et approximations linéaires / Luc Pellissier le 2017 [ Sorbonne Paris Cité ]
Relational graph models and Morris's observability : resource-sensitive semantic investigations on the untyped λ-calculus / Domenico Ruoppolo le 2016 [ Sorbonne Paris Cité ]
Logique et interaction : une étude sémantique de la totalité / Pierre Clairambault le 2010 [ Paris 7 ]
Opérateurs de typage non-idempotents, au delà du lambda-calcul / Pierre Vial le 2017 [ Sorbonne Paris Cité ]
Typage et déduction dans le calcul de réécriture / Benjamin Wack le 2005 [ Nancy 1 ]
Disséquer les sémantiques dénotationnelles : du bien établi H* aux plus récents coeffets quantitatifs / Flavien Breuvart le 2015 [ Paris 7 ]
Higher-Order Confluence and Universe Embedding in the Logical Framework / Gaspard Ferey le 2021 [ université Paris-Saclay ]
Non-laziness in implicit computational complexity and probabilistic λ-calculus / Gianluca Curzi le 2020 [ Université Paris Cité ]
Dissecting call-by-need by customizing multi type systems / Maico Leberle le 2021 [ Institut polytechnique de Paris ]
Algorithmes de la morphologie mathématique pour les architectures orientées flux / Jaromir Brambor le 2006 [ Paris, ENMP ]
Stratégies pour la réduction forte / Antoine Lanco le 2023 [ université Paris-Saclay ]
Réalisabilité et paramétricité dans les systèmes de types purs / Marc Lasson le 2012 [ Lyon, École normale supérieure ]
Réflexion, calculs et logiques / Hubert Godfroy le 2017 [ Université de Lorraine ]
Adaptive biasing algorithms : mathematical analysis and applications in molecular dynamics / Lise Maurin le 2021 [ Sorbonne université ]
Expressing predicate subtyping in computational logical frameworks / Gabriel Hondet le 2022 [ université Paris-Saclay ]
Incrementality and effect simulation in the simply typed lambda calculus / Lourdes del Carmen González Huesca le 2015 [ Sorbonne Paris Cité ]
Fixpoints of types in linear logic from a Curry-Howard-Lambek perspective / Farzad Jafarrahmani le 2023 [ Université Paris Cité ]
Estimation à noyau de la fonction de hasard pour des variables censurées / Kowir Pambo Bello le 2011 [ Versailles-St Quentin en Yvelines ]
Nested Deduction in Logical Foundations for Computation / Nicolas Guenot le 2013 [ Palaiseau, Ecole polytechnique ]
Les effects et les handlers dans le langage naturel / Jiří Maršík le 2016 [ Université de Lorraine ]
Vérification de transformations de données arborescentes : les transducteurs d'arbres appliqués à un problème de vérification sur des scripts shell / Paul D. Gallot le 2021 [ Université de Lille (2018-2021) ]
Une géométrie de calcul : Réseaux de preuve, appel-par-pousse-valeur et topologie du consensus / Jules Chouquet le 2019 [ Université Paris Cité ]
Autour du lambda-calcul partiel / Christian Even le 1993 [ Lille 1 ]
Une dialectica matérialiste / Pierre-Marie Pédrot le 2015 [ Sorbonne Paris Cité ]