348 articles – 361 Notices  [english version]
.:. Consultation > Liste des articles .:.
709 documents classés par :
1 - 2 - 3 - 4 - 5 - 6 - 7 ... Page Suivante Page Finale
fulltext access A delay-based routing metric
Jonglez B., Boutier M., Chroboczek J.
[hal-00954373 - version 1] (13/03/2014)
fulltext access Set-theoretic solutions of the Yang-Baxter equation, RC-calculus, and Garside germs
Dehornoy P.
[hal-00958299 - version 2] (18/03/2014)
fulltext access Source-sensitive routing
Boutier M., Chroboczek J.
[hal-00947234 - version 1] (14/02/2014)
fulltext access Quelques propriétés des modèles de réalisabilité de ZF
Krivine J.-L.
[hal-00940254 - version 1] (31/01/2014)
fulltext access Polygraphs of finite derivation type
Guiraud Y., Malbos P.
[hal-00932845 - version 1] (17/01/2014)
fulltext access Laver's results and low-dimensional topology
Dehornoy P.
[hal-00931094 - version 1] (14/01/2014)
fulltext access Two- and three-cocycles for Laver tables
Dehornoy P., Lebed V.
[hal-00926810 - version 2] (03/02/2014)
fulltext access A local transform for trace monoids
Abbes S.
[hal-00925900 - version 2] (09/01/2014)
The duality of construction
Downen P., Ariola Z.
Dans European Symposium on Programming (ESOP) - ESOP 2014 : European Symposium on Programming, France (2014) [hal-00938317 - version 1]
Polymorphic Functions with Set-Theoretic Types. Part 1: Syntax, Semantics, and Evaluation
Castagna G., Nguyen K., Xu Z., Im H., Lenglet S., Padovani L.
Dans SIGPLAN Notices - POPL '14, 41th ACM Symposium on Principles of Programming Languages, États-Unis (2014) [hal-00907166 - version 1]
fulltext access Unification des couleurs dans un lambda-calcul polychrome
Serpette B. P., Manoury P., Chailloux E.
[hal-00918944 - version 1] (17/12/2013)
fulltext access Syntaxe et modèles d'une composition non-associative des programmes et des preuves
Munch-Maccagnoni G.
Université Paris-Diderot - Paris VII (10/12/2013), Pierre-Louis Curien (Dir.) [tel-00918642 - version 1]
fulltext access Polymorphic Functions with Set-Theoretic Types. Part 2: Local Type Inference and Type Reconstruction
Castagna G., Nguyen K., Xu Z., Abate P.
Rapport de recherche [hal-00880744 - version 3]
fulltext access A method for designing asynchronous probabilistic processes
Abbes S.
[hal-00878114 - version 2] (09/01/2014)
fulltext access Realizability algebras III : some examples
Krivine J.-L.
[hal-00743120 - version 2] (25/09/2013)