Filtrer vos résultats
- 17
- 7
- 9
- 8
- 7
- 2
- 19
- 5
- 1
- 1
- 1
- 1
- 2
- 2
- 2
- 1
- 1
- 2
- 2
- 3
- 1
- 3
- 2
- 1
- 23
- 1
- 22
- 21
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 24
- 3
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
24 résultats
|
|
triés par
|
Multiplicative Linear Logics and FibrationsCategory Theory in computer science - CTCS'2002, R Blute, Ph. Scott, Nov 2002, Ottawa, Ontario, Canada, 21 p
Communication dans un congrès
inria-00100811v1
|
|||
|
Proof Nets for Intuitionistic Linear Logic: Essential Nets[Research Report] 2008
Rapport
inria-00347336v1
|
||
|
Homotopy in Cat via Paths and the Fundamental Groupoid of a Category[Research Report] 2008
Rapport
inria-00347424v1
|
||
Two Denotational Interpretations of Proofs in Classical LogicStructures and Deduction 2009, Jul 2009, Bordeaux, France. pp.117-133
Communication dans un congrès
inria-00440875v1
|
|||
On Proof Nets for Multiplicative Linear Logic with Units18th International Workshop on Computer Science Logic - CSL'2004, 2004, Karpacz, Poland, pp.145--159
Communication dans un congrès
inria-00100244v1
|
|||
A new homotopy-theoretic interpretation of Martin-Löf's identity type.Models, Logics and Higher-Dimensional Categories: A Tribute to the Work of Mihaly Makkai, Bradd Hart and Thomas G. Kucera and Anand Pillay and Philip J. Scott and Robert A. G. Seely, Jun 2011, Montréal, Canada
Communication dans un congrès
inria-00625956v1
|
|||
|
Naming Proofs in Classical Propositional Logic[Intern report] A04-R-391 || lamarche04b, 2004, 15 p
Rapport
inria-00099866v1
|
||
A model of a dependent linear calculus[Intern report] A01-R-262 || bonfante01c, 2001, 13 p
Rapport
inria-00100697v1
|
|||
Logical Aspects of Computational Linguistics - selected papers from LACl'972th International Conference on Logical Aspects of Computational Linguistics, LORIA, 1997, Nancy, France, 251 p
Communication dans un congrès
inria-00099010v1
|
|||
A monotone lambda-calculus: the example of ordinal terms[Intern report] A00-R-180 || bonfante00a, 2000, 15 p
Rapport
inria-00099304v1
|
|||
Naming Proofs in Classical Propositional Logic2005, pp.434
Communication dans un congrès
hal-00012294v1
|
|||
|
From Proof nets to the Free *-Autonomous CategoriesLogical Methods in Computer Science, 2006, 2 (4:3), 44 p. ⟨10.2168/LMCS-2(4:3)2006⟩
Article dans une revue
inria-00099865v2
|
||
|
Constructing orders by means of inductive definitions[Intern report] 99-R-035 || bonfante99a, 1999, 15 p
Rapport
inria-00098791v1
|
||
Spaces for linguistic representations and the semantics of linear LogicDagstuhl Seminar 22.08.1999 - 27.08.1999, R. Crouch, J. Van Genabith, V. de Paive, E. Ritter, Aug 1999, none
Communication dans un congrès
inria-00098911v1
|
|||
|
Exploring the Gap between Linear and Classical LogicTheory and Applications of Categories, 2007, 18 (17), 473--535 (63 p.)
Article dans une revue
inria-00113785v1
|
||
Incidence, Clinical Presentation, and Associated Factors of Microscopic Colitis in Northern France: A Population-Based StudyDigestive Diseases and Sciences, 2017, 62 (6), pp.1571-1579. ⟨10.1007/s10620-016-4306-z⟩
Article dans une revue
hal-02303829v1
|
|||
Dicationic Lipophosphoramidates as DNA CarriersBioconjugate Chemistry, 2007, 18 (5), pp.1604 - 1611. ⟨10.1021/bc070089z⟩
Article dans une revue
istex
hal-01581379v1
|
|||
Entropic Hopf Algebras and Models of Non Commutative LogicTheory and Applications of Categories, 2002, 10 (17), pp.424-460
Article dans une revue
inria-00100711v1
|
|||
Beyond TreesWorkshop on Trees - ESSLI 2000, V. Goranko, 2000, Birmingham, UK, 13 p
Communication dans un congrès
inria-00099249v1
|
|||
Vers une Géométrie Symbolique[Interne] A03-R-423 || lamarche03a, 2003, 8 p
Rapport
inria-00099779v1
|
|||
An Interesting Link Between Type Theory and Algebraic topology.SD09 Structures and Deductions 2009, Michel Parigot and Lutz Strassburger, Jul 2009, Bordeaux, France
Communication dans un congrès
inria-00620172v1
|
|||
Displacement Games as a model of linear logic[Intern report] A00-R-379 || lamarche00b, 2000, 6 p
Rapport
inria-00099330v1
|
|||
|
On the Algebra of Structural ContextsMathematical Structures in Computer Science, 2003, 51 p
Article dans une revue
inria-00099461v1
|
||
Classical Non Associative Lambek CalculusStudia Logica, 2002, 71 (3), pp.355-388. ⟨10.1023/A:1020520915016⟩
Article dans une revue
istex
inria-00100712v1
|