On the Algebra of Structural Contexts

Article dans revue scientifique avec comité de lecture.

Data and Resources

Additional Info

Field Value
Source ISSN: 0960-1295
Author Lamarche, François
Maintainer CCSD
Last Updated May 5, 2026, 10:34 (UTC)
Created May 5, 2026, 10:34 (UTC)
Identifier inria-00099461
Language en
Rights https://about.hal.science/hal-authorisation-v1/
contributor Linear logic, proof networks and categorial grammars (CALLIGRAMME) ; INRIA Lorraine ; Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA) ; Institut National de Recherche en Informatique et en Automatique (Inria)-Université Henri Poincaré - Nancy 1 (UHP)-Université Nancy 2-Institut National Polytechnique de Lorraine (INPL)-Centre National de la Recherche Scientifique (CNRS)-Université Henri Poincaré - Nancy 1 (UHP)-Université Nancy 2-Institut National Polytechnique de Lorraine (INPL)-Centre National de la Recherche Scientifique (CNRS)
creator Lamarche, François
date 2003-05-05T00:00:00
harvest_object_id a0d42f30-72ce-40fd-a170-807966d36534
harvest_source_id 3374d638-d20b-4672-ba96-a23232d55657
harvest_source_title test moissonnage SELUNE
metadata_modified 2025-11-04T00:00:00
set_spec type:ART