Full Abstraction for Resource Calculus with Tests
type: Dataset
contact point: Organization
  fn: CCSD
keyword: infoeu-reposemanticsconferenceobject
keyword: relational-semantics
keyword: differ--ential-linear-logic
keyword: infoinfo-locomputer-science-cslogic-in-computer-science-cslo
keyword: full-abstraction
keyword: resource-lambda-calculus
keyword: conference-papers
landing page: 20th Annual Conference of the EACSL
description: International audience
issued: 2026-05-15T18:45:57.615871
language: en
modified: 2026-05-15T18:45:57.615876

test_moissonnage_selune
type: Agent

Full Abstraction for Resource Calculus with Tests
type: Distribution
access URL: https://hal.science/hal-00707814
format: HTML
issued: 2026-05-15T18:45:57.625165
modified: 2026-05-15T18:45:57.598991