François Kohler < François Lamarche < François Laroussinie

Facettes : Author.f

List of bibliographic references

Number of relevant bibliographic references: 28.
[0-20] [0 - 20][0 - 28][20-27][20-40]

Ident.	Authors (with country if any)	Title
000743 (2000)	Guillaume Bonfante ; François Lamarche	A monotone lambda-calculus: the example of ordinal terms
000776 (2011-06-18)	François Lamarche	A new homotopy-theoretic interpretation of Martin-Löf's identity type.
000958 (1998)	Guillaume Bonfante ; Adam Cichon ; François Lamarche	A semantics and a syntax for ordinal notations and hierarchies
000D19 (2009-07-20)	François Lamarche	An Interesting Link Between Type Theory and Algebraic topology.
001183 (2010-06-20)	François Lamarche	Axioms and Models for Concrete Homotopy
001239 (2000)	François Lamarche	Beyond Trees
001866 (2005)	François Lamarche ; Lutz Strassburger	Constructing Free Boolean Categories
001869 (2005-05)	François Lamarche ; Lutz Stra Burger	Constructing free Boolean categories
001870 (1999)	Guillaume Bonfante ; François Lamarche	Constructing orders by means of inductive definitions
001C94 (2000)	François Lamarche	Displacement Games as a model of linear logic
001F88 (2002)	Richard F. Blute ; François Lamarche ; Paul Ruet	Entropic Hopf Algebras and Models of Non Commutative Logic
002138 (2007)	François Lamarche	Exploring the Gap between Linear and Classical Logic
002445 (2011-07-26)	François Lamarche ; Novak Novakovic	Frobenius Algebras and Classical Proof Nets
002467 (2006)	François Lamarche ; Lutz Strassburger	From Proof nets to the Free *-Autonomous Categories
002814 (2008)	François Lamarche	Homotopy in Cat via Paths and the Fundamental Groupoid of a Category
002F71 (1997)	Alain Lecomte ; François Lamarche ; Guy Perrier	Logical Aspects of Computational Linguistics - selected papers from LACl'97
003474 (2002-11)	François Lamarche	Multiplicative Linear Logics and Fibrations
003696 (2004)	Lutz Strassburger ; François Lamarche	On Proof Nets for Multiplicative Linear Logic with Units
003736 (2003)	François Lamarche	On the Algebra of Structural Contexts
003D73 (2008)	François Lamarche	Proof Nets for Intuitionistic Linear Logic: Essential Nets
003D74 (1998)	François Lamarche ; Christian Retoré	Proof Nets for the Lambek Calculus - an overview

---

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Hal/Corpus

HfdIndexSelect -h $EXPLOR_AREA/Data/Hal/Corpus/Author.i -k "François Lamarche" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Hal/Corpus/Author.i  \
                -Sk "François Lamarche" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Hal/Corpus/biblio.hfd 

Pour mettre un lien sur cette page dans le réseau Wicri

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Hal
   |étape=   Corpus
   |type=    indexItem
   |index=    Author.i
   |clé=    François Lamarche
}}

---

This area was generated with Dilib version V0.6.33. Data generation: Mon Jun 10 21:56:28 2019. Site generation: Fri Feb 25 15:29:27 2022