Program Extraction in Constructive Analysis
type: Item
instance of: scholarly article
title: Program Extraction in Constructive Analysis
zbMATH Open document ID: 1159.03042
DOI: 10.1007/978-1-4020-8926-8_13
author: Helmut Schwichtenberg
published in: Synthese Library
publication date: 2009-03-12T00:00:00Z
Mathematics Subject Classification ID: 03F60
Mathematics Subject Classification ID: 68N30
zbMATH DE Number: 5528171
zbMATH Keywords: exact real numbers
zbMATH Keywords: constructive analysis
zbMATH Keywords: low type-level witnesses
zbMATH Keywords: Intermediate Value Theorem
zbMATH Keywords: continuous inverse
MaRDI profile type: Publication
full work available at URL: 978-1-4020-8926-8 13
OpenAlex ID: W99746906
description: scientific article