.:. Browse > List by subject > Mathematics .:.

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

1 - 2 - 3 - 4 - 5 - 6 - 7 ...

Logique et Interaction : une Étude Sémantique de la Totalité Clairambault P. Université Paris-Diderot - Paris VII (19/02/2010), Russ Harmer (Dir.) [tel-00459307 - version 1]

Algèbres de réalisabilité: un programme pour bien ordonner R Krivine J.-L. [hal-00457613 - version 2] (23/03/2010)

Resource modalities in tensor logic melliès P.-A., Tabareau N. Annals of Pure Applied Logic 161, 5 (2010) 632-653 [hal-00339154 - version 2]

About Higher Dimensional Transition Systems Gaucher P. Geometric and Topological Methods in Computer Science 2010, Danemark (2010) [hal-00695056 - version 1]

A Quasipolynomial Cut-Elimination Procedure in Deep Inference via Atomic Flows and Threshold Formulae Bruscoli P., Guglielmi A., Gundersen T., Parigot M. In Proc. of the 16th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR-16 - 16th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR-16, Senegal (2010) [hal-00529320 - version 1]

A Proof Calculus Which Reduces Syntactic Bureaucracy Guglielmi A., Gundersen T., Parigot M. Dans Proceedings of the 21st International Conference on Rewriting Techniques and Applications, RTA 2010 - 21st International Conference on Rewriting Techniques and Applications, RTA 2010, Royaume-Uni (2010) [hal-00529301 - version 1]

Intrinsic Information carriers in combinatorial dynamical systems Harmer R., Danos V., Feret J., Krivine J., Fontana W. Chaos 20, 3 (2010) 037108 [hal-00520128 - version 1]

An intuitionistic logic that proves Markov's principle Herbelin H. Logic In Computer Science, Royaume-Uni (2010) [inria-00481815 - version 1]

Homotopical interpretation of globular complex by multipointed d-space Gaucher P. Theory and Applications of Categories 22, 22 (2009) 588-621 [hal-00495657 - version 1]

Higher Dimensional Transition System and Labelled Symmetric Precubical Set Gaucher P. Séminaire Itinérant de Catégories, France (2009) [hal-00695146 - version 1]

Totality in arena games Clairambault P., Harmer R. Annals of Pure and Applied Logic 161, 5 (2009) 673-689 [hal-00443535 - version 1]

An algebraic account of references in game semantics melliès P.-A., Tabareau N. In Proceedings of the 25th Conference on Mathematical Foundations of Programming Semantics (MFPS 2009) - Mathematical Foundations of Programming Semantics, United Kingdom (2009) [hal-00374933 - version 2]

An explicit formula for the free exponential modality of linear logic melliès P.-A., Tabareau N., Tasson C. In Automata, Languages and Programming - 36th International Colloquium on Automata, Languages and Programming, Greece (2009) [hal-00391714 - version 2]

On the categorical semantics of Elementary Linear Logic Laurent O. Theory and Applications of Categories 22, 10 (2009) 269-301 [hal-00398598 - version 1]

Polygraphic resolutions and homology of monoids Lafont Y., Métayer F. Journal of Pure and Applied Algebra 213 (2009) 947-968 [hal-00148370 - version 2]