Auteurs
Checkpoint
Crin
Racine
Checkpoint
Crin
Exploration
Accueil
Racine
Racine

Serveur d'exploration sur la recherche en informatique en Lorraine - Checkpoint (Crin)

Index « Auteurs » - entrée « François Lamarche »
Attention, ce site est en cours de développement !
Attention, site généré par des moyens informatiques à partir de corpus bruts.
Les informations ne sont donc pas validées.
François Kohler < François Lamarche < François Morain  Facettes :

List of bibliographic references

Number of relevant bibliographic references: 9.
Ident.Authors (with country if any)Title
000250 (2005) François Lamarche ; Lutz StrassburgerNaming Proofs in Classical Propositional Logic
000447 (2005) François Lamarche ; Lutz StrassburgerConstructing Free Boolean Categories
000F61 (2002) Philippe De Groote ; François LamarcheClassical Non Associative Lambek Calculus
001168 (2002) Richard F. Blute ; François Lamarche ; Paul RuetEntropic Hopf Algebras and Models of Non Commutative Logic
001851 (2000) François LamarcheBeyond Trees
001B88 (2000) François LamarcheDisplacement Games as a model of linear logic
001F86 (1999) Guillaume Bonfante ; François LamarcheConstructing orders by means of inductive definitions
002299 (1998) Guillaume Bonfante ; Adam Cichon ; François LamarcheA semantics and a syntax for ordinal notations and hierarchies
002314 (1998) François Lamarche ; Christian RetoréProof Nets for the Lambek Calculus - an overview

List of associated KwdEn.i

Nombre de
documents		Descripteur
4linear logic
4proof nets
1*-autonomous categories
1*-autonomous category
1Categorial grammars
1calcul lambda
1categorical axiomatization
1categorical logic
1categorical semantics
1chu construction
1classical logic
1coherence theorems
1curry-howard isomorphism
1cut elimination
1hopf algebras
1induction
1lambek calculus
1lauchli semantics
1linguistic representation
1martin lof
1multi-dimensional trees
1non associative logic
1non commutative logic
1normal forms of proofs
1orders
1ordinals
1ordinaux
1propositional classical logic
1récursion
1sequent calculi
1substructural logics
1sémantique
1the Lambek Calculus
1universal algebra

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Crin/Checkpoint

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

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

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

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

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