Strong normalization property for second order linear logic
type: Dataset
description: International audience
issued: 2026-05-18T05:27:41.887231
language: en
modified: 2026-05-18T05:27:41.887238
contact point: Organization
  fn: CCSD
keyword: cut-elimination
keyword: infoeu-reposemanticsarticle
keyword: infoinfo-locomputer-science-cslogic-in-computer-science-cslo
keyword: journal-articles
keyword: linear-logic
keyword: mathmath-lomathematics-mathlogic-mathlo
keyword: proof-nets
keyword: rewriting-theory
keyword: strong-normalisation
landing page: 0304-3975

Strong normalization property for second order linear logic
type: Distribution
format: HTML
issued: 2026-05-18T05:27:41.959489
modified: 2026-05-18T05:27:41.860953
access URL: https://hal.science/hal-00698979

test_moissonnage_selune
type: Agent