A Constructive Proof of Dependent Choice, Compatible with Classical Logic
type: Dataset
description: 1ère version rédigée en janvier 2011. Nombreuses corrections, et raffinements, appliqués après coup.
issued: 2026-05-18T22:00:11.703473
language: en
modified: 2026-05-18T22:00:11.703480
contact point: Organization
  fn: CCSD
keyword: acm-f-theory-of-computationf4-mathematical-logic-and-formal-languagesf41-mathematical-logi
keyword: classical-logic
keyword: conference-papers
keyword: constructive-logic
keyword: dependent-choice
keyword: infoeu-reposemanticsconferenceobject
keyword: infoinfo-locomputer-science-cslogic-in-computer-science-cslo
keyword: strong-existential
landing page: IEEE Symposium on Logic in Computer Science

A Constructive Proof of Dependent Choice, Compatible with Classical Logic
type: Distribution
format: HTML
issued: 2026-05-18T22:00:11.724556
modified: 2026-05-18T22:00:11.671166
access URL: https://inria.hal.science/hal-00697240

test_moissonnage_selune
type: Agent