https://data.archives-ouvertes.fr/author/2539

https://data.archives-ouvertes.fr/author/2539

http://xmlns.com/foaf/0.1/topic_interest Linguistic representation
http://xmlns.com/foaf/0.1/topic_interest Logique non commutative
http://www.w3.org/2002/07/owl#sameAs 169949753
http://xmlns.com/foaf/0.1/topic_interest Fundamental groupoid
http://xmlns.com/foaf/0.1/firstName François
http://xmlns.com/foaf/0.1/topic_interest Sémantique de lauchli
http://xmlns.com/foaf/0.1/topic_interest Domain theory
http://xmlns.com/foaf/0.1/topic_interest Propositional Classical Logic
http://xmlns.com/foaf/0.1/topic_interest Sequent Calculi
http://xmlns.com/foaf/0.1/topic_interest Correctness criterion
http://xmlns.com/foaf/0.1/topic_interest Coherence Theorems
http://xmlns.com/foaf/0.1/topic_interest Operades
http://xmlns.com/foaf/0.1/topic_interest Categorical Logic
http://xmlns.com/foaf/0.1/topic_interest Normal Forms of Proofs
http://xmlns.com/foaf/0.1/topic_interest Autonomous Categories
http://xmlns.com/foaf/0.1/topic_interest Medial Rule
http://xmlns.com/foaf/0.1/topic_interest Logique classique
http://xmlns.com/foaf/0.1/topic_interest Théorie de topos
http://xmlns.com/foaf/0.1/topic_interest Algèbres de Hopf
http://xmlns.com/foaf/0.1/topic_interest Topos
http://xmlns.com/foaf/0.1/topic_interest Lambek calculus
http://xmlns.com/foaf/0.1/topic_interest Quillen model structure
http://xmlns.com/foaf/0.1/topic_interest Sequent calculus
http://xmlns.com/foaf/0.1/familyName Lamarche
http://xmlns.com/foaf/0.1/topic_interest Operads
http://xmlns.com/foaf/0.1/topic_interest Concurrence
http://xmlns.com/foaf/0.1/topic_interest Deep Inference
http://xmlns.com/foaf/0.1/topic_interest Réécriture
http://xmlns.com/foaf/0.1/topic_interest Notations ordinales
http://xmlns.com/foaf/0.1/mbox_sha1sum a475e5f70931b36870231e9dc01881a0
http://xmlns.com/foaf/0.1/topic_interest Constantes multiplicatives
http://xmlns.com/foaf/0.1/topic_interest Chu construction
http://xmlns.com/foaf/0.1/topic_interest Microscopic colitis
http://xmlns.com/foaf/0.1/topic_interest Arbre multi-dimensionnel
http://xmlns.com/foaf/0.1/topic_interest Typed lambda calculus
http://xmlns.com/foaf/0.1/topic_interest Calcul de lambek
http://xmlns.com/foaf/0.1/topic_interest Graphe
http://xmlns.com/foaf/0.1/topic_interest Lauchli semantics
http://xmlns.com/foaf/0.1/topic_interest Types inductifs
http://xmlns.com/foaf/0.1/topic_interest Formalismes linguistique
http://xmlns.com/foaf/0.1/topic_interest Orders
http://xmlns.com/foaf/0.1/topic_interest Symmetric monoidal categories
http://xmlns.com/foaf/0.1/topic_interest Inductive types
http://xmlns.com/foaf/0.1/topic_interest Computational linguistics
http://xmlns.com/foaf/0.1/topic_interest Denotational Semantics
http://xmlns.com/foaf/0.1/topic_interest Population based
http://xmlns.com/foaf/0.1/topic_interest Classical logic
http://xmlns.com/foaf/0.1/topic_interest Construction de chu
http://xmlns.com/foaf/0.1/topic_interest Grammaires catégorielles
http://xmlns.com/foaf/0.1/topic_interest Categorial grammar
http://xmlns.com/foaf/0.1/topic_interest Non associative logic
http://xmlns.com/foaf/0.1/topic_interest Ordinals
http://xmlns.com/foaf/0.1/topic_interest Universal algebra
http://xmlns.com/foaf/0.1/topic_interest Logique linéaire
http://xmlns.com/foaf/0.1/topic_interest Lymphocytic colitis
http://xmlns.com/foaf/0.1/topic_interest Logigues substructurales
http://xmlns.com/foaf/0.1/topic_interest Algebraic theories
http://xmlns.com/foaf/0.1/topic_interest Sémantique catégorique
http://xmlns.com/foaf/0.1/topic_interest Hopf algebras
http://xmlns.com/foaf/0.1/topic_interest Proof nets
http://xmlns.com/foaf/0.1/interest https://data.archives-ouvertes.fr/subject/info.info-lo
http://xmlns.com/foaf/0.1/topic_interest Homotopy theory
http://xmlns.com/foaf/0.1/topic_interest Operade
http://xmlns.com/foaf/0.1/topic_interest Cut elimination
http://xmlns.com/foaf/0.1/topic_interest Fibration
http://xmlns.com/foaf/0.1/topic_interest Non commutative logic
http://xmlns.com/foaf/0.1/topic_interest Catégorie autonome
http://xmlns.com/foaf/0.1/topic_interest Collagenous colitis
http://xmlns.com/foaf/0.1/topic_interest Logique catégorique
http://xmlns.com/foaf/0.1/topic_interest Martin lof
http://xmlns.com/foaf/0.1/topic_interest Algèbre universelle
http://xmlns.com/foaf/0.1/topic_interest Autonomy
http://xmlns.com/foaf/0.1/topic_interest Lambda calcul type
http://xmlns.com/foaf/0.1/topic_interest Topos theory
http://xmlns.com/foaf/0.1/topic_interest Linear logic
http://xmlns.com/foaf/0.1/topic_interest Incidence
http://xmlns.com/foaf/0.1/topic_interest Réseaux de démonstration
http://xmlns.com/foaf/0.1/topic_interest Substructural logic
http://xmlns.com/foaf/0.1/topic_interest Cut-elimination
http://xmlns.com/foaf/0.1/topic_interest Ordres
http://xmlns.com/foaf/0.1/topic_interest Combinatorial species
http://xmlns.com/foaf/0.1/topic_interest Catégories autonomes
http://xmlns.com/foaf/0.1/topic_interest Induction
http://xmlns.com/foaf/0.1/interest https://data.archives-ouvertes.fr/subject/info.info-oh
http://xmlns.com/foaf/0.1/topic_interest Bialgebras
http://xmlns.com/foaf/0.1/topic_interest Sémantique
http://xmlns.com/foaf/0.1/topic_interest Multiplicative constants
http://xmlns.com/foaf/0.1/topic_interest Types dépendants
http://xmlns.com/foaf/0.1/topic_interest Dependent types
http://xmlns.com/foaf/0.1/topic_interest Élimination des coupures
http://xmlns.com/foaf/0.1/topic_interest Linguistique informatique
http://xmlns.com/foaf/0.1/topic_interest Logique sous-structurelle
http://xmlns.com/foaf/0.1/topic_interest Réécriture modulo
http://xmlns.com/foaf/0.1/topic_interest Substructural logics
http://xmlns.com/foaf/0.1/topic_interest Grothendieck fibratio
http://xmlns.com/foaf/0.1/topic_interest Fibration de grothendieck
http://xmlns.com/foaf/0.1/topic_interest Path objec
http://xmlns.com/foaf/0.1/topic_interest Concurrency
http://xmlns.com/foaf/0.1/interest https://data.archives-ouvertes.fr/subject/sdv.mhep.heg
http://xmlns.com/foaf/0.1/topic_interest Dynamic system
http://xmlns.com/foaf/0.1/topic_interest Operad
http://xmlns.com/foaf/0.1/topic_interest Critère de correction
http://xmlns.com/foaf/0.1/topic_interest Multiplicative linear logic
http://xmlns.com/foaf/0.1/topic_interest Autonomie
http://www.w3.org/1999/02/22-rdf-syntax-ns#type http://xmlns.com/foaf/0.1/Person
http://xmlns.com/foaf/0.1/topic_interest Categorical semantics
http://xmlns.com/foaf/0.1/interest https://data.archives-ouvertes.fr/subject/chim
http://xmlns.com/foaf/0.1/topic_interest Logiques sub-structurales
http://xmlns.com/foaf/0.1/topic_interest Logic non commutative
http://xmlns.com/foaf/0.1/topic_interest Algebraic geometry
http://xmlns.com/foaf/0.1/topic_interest Grothendieck fibrations
http://xmlns.com/foaf/0.1/interest https://data.archives-ouvertes.fr/subject/math.math-ct
http://xmlns.com/foaf/0.1/topic_interest Théorie des domaines
http://xmlns.com/foaf/0.1/interest https://data.archives-ouvertes.fr/subject/math.math-at
http://www.openarchives.org/ore/terms/isAggregatedBy https://data.archives-ouvertes.fr/author/francois-lamarche
http://xmlns.com/foaf/0.1/topic_interest Géométrie algébrique
http://xmlns.com/foaf/0.1/topic_interest Espace d'états
http://xmlns.com/foaf/0.1/topic_interest Représentation linguistique
http://xmlns.com/foaf/0.1/topic_interest State space
http://xmlns.com/foaf/0.1/topic_interest Curry-Howard Isomorphism
http://xmlns.com/foaf/0.1/topic_interest Ordinal notations
http://xmlns.com/foaf/0.1/topic_interest Catégorie -autonome
http://xmlns.com/foaf/0.1/topic_interest Autonomous category
http://xmlns.com/foaf/0.1/topic_interest Semantics
http://xmlns.com/foaf/0.1/name François Lamarche
http://xmlns.com/foaf/0.1/topic_interest Multi-categories
http://xmlns.com/foaf/0.1/topic_interest Théories algébriques
http://xmlns.com/foaf/0.1/topic_interest Linguistic formalisms
http://xmlns.com/foaf/0.1/topic_interest Logique non associative
http://xmlns.com/foaf/0.1/topic_interest Rewriting modulo
http://xmlns.com/foaf/0.1/topic_interest Structural contexts
http://xmlns.com/foaf/0.1/topic_interest Calcul des séquents
http://xmlns.com/foaf/0.1/topic_interest Ordinaux
http://xmlns.com/foaf/0.1/topic_interest Display logic
http://xmlns.com/foaf/0.1/topic_interest Coherence Spaces
http://xmlns.com/foaf/0.1/topic_interest Contextes structuraux
http://xmlns.com/foaf/0.1/topic_interest Rewriting
http://xmlns.com/foaf/0.1/topic_interest Multi-dimensional trees
http://xmlns.com/foaf/0.1/interest https://data.archives-ouvertes.fr/subject/math.math-lo
http://xmlns.com/foaf/0.1/topic_interest Système dynamique
http://xmlns.com/foaf/0.1/topic_interest Élimination de coupures
http://xmlns.com/foaf/0.1/topic_interest Categorical Axiomatization
https://aurehal.archives-ouvertes.fr/author/2539

Télécharger au format  
RDF/XML Turtle N3 Json