Integration in Real PCF
type: Item
instance of: scholarly article
title: Integration in Real PCF
zbMATH Open document ID: 1005.03035
author: Abbas Edalat
author: Martín Escardo
published in: Information and Computation
publication date: 2003-01-14T00:00:00Z
Mathematics Subject Classification ID: 03B70
Mathematics Subject Classification ID: 03D65
Mathematics Subject Classification ID: 68Q55
Mathematics Subject Classification ID: 03F60
zbMATH DE Number: 1853113
describes a project that uses: Automath
MaRDI profile type: Publication
OpenAlex ID: W2149945624
cites work: The lambda calculus, its syntax and semantics
cites work: Q4023825
cites work: Q3803111
cites work: On a theory of computation and complexity over the real numbers: 𝑁𝑃- completeness, recursive functions and universal machines
cites work: Q5522002
cites work: Q4870826
cites work: Domain theory and integration
cites work: Q4222754
cites work: Dynamical systems, measures, and fractals via domain theory
cites work: Power domains and iterated function systems
cites work: When Scott is weak on the top
cites work: A computational model for metric spaces
cites work: Lazy computation with exact real numbers
cites work: Q4870818
cites work: PCF extended with real numbers
cites work: Properly injective spaces and function spaces
cites work: Induction and recursion on the partial real line with applications to Real PCF
cites work: Q4260387
cites work: Real number computability and domain theory
cites work: Q3898534
cites work: Q4288818
cites work: Q3998172
cites work: Q4002474
cites work: Q5181669
cites work: Q5566070
cites work: LCF considered as a programming language
cites work: Computability and Noncomputability in Classical Analysis
cites work: Q3996430
cites work: Q4868226
cites work: Q5649639
cites work: Q4218119
cites work: Q3316563
cites work: Q3994458
cites work: Q3751553
cites work: Computing with infinite objects
DOI: 10.1006/INCO.1999.2844
Recommended article: Real principal value integrals
Recommended article: PCF extended with real numbers
Recommended article: Q5843020
Recommended article: Integration of polynomial ordinary differential equations in the real plane
Recommended article: Q4788948
Recommended article: On a class of real integrals
Recommended article: Q4886770
Recommended article: A Real Antiderivative by Contour Integration
Recommended article: Calculation of exponential integrals of real order
description: scientific article; zbMATH DE number 1853113