Resource Lambda-Calculus: the Differential Viewpoint
type: Dataset
description: International audience
issued: 2026-05-15T18:43:21.780046
language: en
modified: 2026-05-15T18:43:21.780053
contact point: Organization
  fn: CCSD
keyword: conference-papers
keyword: denotational-semantics
keyword: infoeu-reposemanticsconferenceobject
keyword: infoinfo-locomputer-science-cslogic-in-computer-science-cslo
keyword: lambda-calculus
keyword: linear-logic
keyword: proof-theory
landing page: 1868-8969

Resource Lambda-Calculus: the Differential Viewpoint
type: Distribution
format: HTML
issued: 2026-05-15T18:43:21.806319
modified: 2026-05-15T18:43:21.764854
access URL: https://hal.science/hal-00707790

test_moissonnage_selune
type: Agent