Elementary Complexity and Geometry of Interaction.
type: Dataset
landing page: 4th International Conference on Typed Lambda Calculi and Applications (TLCA'99)
keyword: conference-papers
keyword: elementary-complexity
keyword: geometry-of-interaction
keyword: infoeu-reposemanticsconferenceobject
keyword: infoinfo-locomputer-science-cslogic-in-computer-science-cslo
keyword: linear-logic
keyword: proof-nets
issued: 2026-05-10T07:10:31.912622
modified: 2026-05-10T07:10:31.912627
language: en
contact point: Organization
  fn: CCSD

test_moissonnage_selune
type: Agent

Elementary Complexity and Geometry of Interaction.
type: Distribution
format: HTML
access URL: https://hal.science/hal-00084631
issued: 2026-05-10T07:10:31.925052
modified: 2026-05-10T07:10:31.901200