Type inference for light affine logic via constraints on words.
type: Dataset
landing page: 0304-3975
keyword: implicit-computational-complexity
keyword: infoeu-reposemanticsarticle
keyword: infoinfo-locomputer-science-cslogic-in-computer-science-cslo
keyword: journal-articles
keyword: lambda-calculus
keyword: light-linear-logic
keyword: linear-logic
keyword: polynomial-time-complexity
keyword: type-inference
issued: 2026-05-10T07:21:54.537075
modified: 2026-05-10T07:21:54.537079
language: en
contact point: Organization
  fn: CCSD

test_moissonnage_selune
type: Agent

Type inference for light affine logic via constraints on words.
type: Distribution
format: HTML
access URL: https://hal.science/hal-00084611
issued: 2026-05-10T07:21:54.545484
modified: 2026-05-10T07:21:54.527254