302 articles – 345 references  [version française]
.:. Browse > List by subject > Mathematics .:.
133 documents ordered by :
1 - 2 - 3 - 4 - 5 - 6 - 7 ... Next Last
fulltext access Delimited control operators prove Double-negation Shift
Ilik D.
Annals of Pure and Applied Logic 163, 11 (2012) 1549-1559 [hal-00647389 - version 1]
fulltext accessible on an other server Monads with arities and their associated theories
Berger C., melliès P.-A., Weber M.
Journal of Pure and Applied Algebra 216, 8-9 (2012) 2029-2048 [hal-00702041 - version 1]
fulltext access Continuation-passing Style Models Complete for Intuitionistic Logic
Ilik D.
Annals of Pure and Applied Logic (2012) [hal-00647390 - version 3]
fulltext access Realizability algebras II : new models of ZF + DC
Krivine J.-L.
Logical Methods in Computer Science 8, 1 (2012) 10 [hal-00497587 - version 1]
fulltext access A synthetic axiomatization of Map Theory
Berline C., Grue K.
[hal-00678410 - version 1] (2012-03-12)
fulltext access Higher-dimensional normalisation strategies for acyclicity
Guiraud Y., Malbos P.
Advances in Mathematics 231, 3-4 (2012) 2294-2351 [hal-00531242 - version 3]
fulltext access Operads, clones, and distributive laws
Curien P.-L.
Dans Proceedings of the International Conference on Operads and Universal Algebra - Operads and Universal Algebra : Proceedings of China-France Summer Conference, Chine (2010) [hal-00697065 - version 1]
fulltext access Coherence in monoidal track categories
Guiraud Y., Malbos P.
Mathematical Structures in Computer Science 22, 6 (2012) 931-969 [hal-00470795 - version 2]
Higher Categories and Rewriting
Métayer F.
Operads and Rewriting, France (2011) [hal-00694631 - version 1]
fulltext access Distributed Markov Processes
Abbes S.
Research report [hal-00631501 - version 1]
fulltext access Proofs as Tree Languages
Hetzl S.
Research report [hal-00613713 - version 1]
fulltext accessible on an other server Towards a homotopy theory of higher dimensional transition systems
Gaucher P.
Theory and Applications of Categories 25, 12 (2011) 295-341 [hal-00532852 - version 1]
Girard's Festschrift, Theoretical Computer Science (Volume 412, Issue 20)
Ehrhard T., Faggian C., Laurent O.
(2011) 240 [hal-00589711 - version 1]
fulltext accessible on an other server A 2-Categorical Analysis of the Tripos-to-Topos Construction
Frey J.
[hal-00698461 - version 1] (2012-05-16)
Towards a Homotopy Theory of Higher Dimensional Transition Systems
Gaucher P.
Séminaire Itinérant de Catégories, France (2011) [hal-00695068 - version 1]