Dependent choice, `quote' and the clock
type: Item
instance of: scholarly article
title: Dependent choice, `quote' and the clock
zbMATH Open document ID: 1169.03328
DOI: 10.1016/S0304-3975(02)00776-4
author: Jean-Louis Krivine
published in: Theoretical Computer Science
publication date: 2004-10-27T00:00:00Z
Mathematics Subject Classification ID: 03B40
Mathematics Subject Classification ID: 03B70
Mathematics Subject Classification ID: 03E25
Mathematics Subject Classification ID: 68N18
zbMATH DE Number: 2110981
MaRDI profile type: Publication
cites work: On the computational content of the axiom of choice
cites work: Q5702662
cites work: A semantics of evidence for classical arithmetic
cites work: Q5625124
cites work: On the No-Counterexample Interpretation
cites work: On the Interpretation of Non-Finitist Proofs--Part I
cites work: On the interpretation of non-finitist proofs–Part II
cites work: Mathematical significance of consistency proofs
cites work: A general storage theorem for integers in call-by-name \(\lambda\)- calculus
cites work: Typed lambda-calculus in classical Zermelo-Fraenkel set theory
cites work: Q4255509
cites work: Q5537599
cites work: Proof theory. 2nd ed
full work available at URL: s0304-3975(02)00776-4
OpenAlex ID: W1971613396
description: scientific article; zbMATH DE number 2110981