353 articles – 360 Notices  [english version]
.:. Consultation > Liste des articles .:.
713 documents classés par :
1 - 2 - 3 - 4 - 5 - 6 - 7 ... Page Suivante Page Finale
Universe Polymorphism in Coq
Sozeau M., Tabareau N.
Interactive Theorem Proving, Austria (2014) [hal-00974721 - version 1]
fulltext access Injectivity of relational semantics for (connected) MELL proof-nets via Taylor expansion
Guerrieri G., Tortora De Falco L., Pellissier L.
8th International Workshop on Computing with Terms and Graphs, Autriche (2014) [hal-00998847 - version 1]
fulltext access Quelques propriétés des modèles de réalisabilité de ZF
Krivine J.-L.
[hal-00940254 - version 2] (30/05/2014)
fulltext access Quantitative Types for Intuitionistic Calculi
Kesner D., Ventura D.
Rapport de recherche [hal-00980868 - version 1]
fulltext access Models of a Non-Associative Composition
Munch-Maccagnoni G.
FOSSACS 2014 - 17th International Conference on Foundations of Software Science and Computation Structures, France (2014) [hal-00996729 - version 1]
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 3] (06/05/2014)
fulltext access Nature et logique, de G.Gentzen à J-Y.Girard
Joinet J.-B.
[halshs-00528945 - version 1] (23/10/2010)
fulltext access Source-sensitive routing
Boutier M., Chroboczek J.
[hal-00947234 - version 1] (14/02/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]