.:. Browse > List by year > 2002 .:.

12 documents ordered by : Date Title first author name document type Submit date

Généralisation des Jeux Combinatoires et Applications aux Langages Logiques Loddo J.-V. Université Paris-Diderot - Paris VII (16/12/2002), Di Cosmo Roberto (Dir.) [tel-00008272 - version 1]

Une étude des sommes fortes : isomorphismes et formes normales Balat V. Université Paris-Diderot - Paris VII (05/12/2002), Di Cosmo Roberto (Dir.) [tel-00007880 - version 1]

Lambda -mu calcul et dualité, appel par nom et appel par valeur Rocheteau J. [hal-00003547 - version 1] (13/12/2004)

Remarks on isomorphisms in typed lambda calculi with empty and sum types Fiore M., Di Cosmo R., Balat V. IEEE Symposium on Logic in Computer Science (2002) 147 [hal-00151252 - version 1]

Étude de la polarisation en logique Laurent O. Université de la Méditerranée - Aix-Marseille II (11/03/2002), Jean-Yves Girard (Dir.) [tel-00007884 - version 1]

Lambda-calculus types and models. Krivine J.-L. DEA (2002) 208 pages [cel-00574575 - version 1]

On Köthe Sequence Spaces and Linear Logic Ehrhard T. Mathematical Structures in Computer Science 12, 5 (2002) 579-623 [hal-00527045 - version 1]

Polarized games Laurent O. Dans Logic in Computer Science - (2002) [hal-00009138 - version 1]

Un système X, Raisonner formellement sur les programmes ML Baro S., Manoury P. [hal-00004195 - version 1] (2005-02-09)

Une Plate Forme Logique de Spécification et de Preuve de Programmes ML Baro S. [hal-00004194 - version 1] (2005-02-09)

Interprétation calculatoire de la logique classique via le lambda-mu calcul et la machine de Krivine Laurent O. [hal-00003753 - version 1] (03/01/2005)

Beta-eta-complete models for System F Berardi S., Berline C. Mathematical Structures in Computer Science 12 (2002) 823-874 [hal-00003749 - version 1]