Scalar System F for Linear-Algebraic λ-Calculus: Towards a Quantum Physical Logic
type: Distribution
access URL: https://inria.hal.science/hal-00924890
format: HTML
issued: 2026-05-07T15:01:37.786579
modified: 2026-05-07T15:01:37.772641

test_moissonnage_selune
type: Agent

Scalar System F for Linear-Algebraic λ-Calculus: Towards a Quantum Physical Logic
type: Dataset
contact point: Organization
  fn: CCSD
keyword: infoeu-reposemanticsconferenceobject
keyword: type-theory
keyword: quantum-logic
keyword: infoinfo-plcomputer-science-csprogramming-languages-cspl
keyword: infoinfo-locomputer-science-cslogic-in-computer-science-cslo
keyword: conference-papers
keyword: curry-howard
keyword: probabilistic-lambda-calculus
keyword: physqphyphysics-physicsquantum-physics-quant-ph
landing page: QPL 2009 - International Workshop on Quantum Physics and Logic
description: Session: Quantum Calculi
issued: 2026-05-07T15:01:37.783130
language: en
modified: 2026-05-07T15:01:37.783135