Call-by-value non-determinism in a linear logic type discipline
type: Dataset
description: International audience
landing page: LFCS - Logical Foundations of Computer Science - 2013
keyword: call-by-value
keyword: conference-papers
keyword: infoeu-reposemanticsconferenceobject
keyword: infoinfo-locomputer-science-cslogic-in-computer-science-cslo
keyword: lambda-calculus
keyword: linear-logic
keyword: non-determinism
issued: 2026-05-07T18:59:46.925353
modified: 2026-05-07T18:59:46.925357
language: en
contact point: Organization
  fn: CCSD

test_moissonnage_selune
type: Agent

Call-by-value non-determinism in a linear logic type discipline
type: Distribution
format: HTML
access URL: https://inria.hal.science/hal-00919463
issued: 2026-05-07T18:59:46.930735
modified: 2026-05-07T18:59:46.916636