Science Elsevier To Annual IEEE Symposium on Logic in Computer Science, pages 408-417, 1998. [24]...  Home/Search
Context
Related
| dcs.ed.ac.uk/home/mhe/pa...EscardoMH.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: dcs.ed.ac.uk/home/mhe/papers (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: In Proceedings of the 12th Annual IEEE Symposium on Logic in Computer Science, pages 376-386, 1997. [22] M.H. Escardo and T. Streicher. Induction and recursion on the partial real line with applications to Real PCF. Theoretical Computer Science, 210(1):121-157, 1998. 2 rst APPSEM workshop in Pisa. A full paper appears in ENTCS, September 1998. Available from http://hypatia.dcs.qmw.ac.uk. [14] M.H. Escardo. BibTeX lter monad. Technical Report ECS-LFCS-98383, Department of Computer Science, ... (Update)
Active bibliography (related documents): More All
0.6: Integration in Real PCF - Edalat, Escardó (1996) (Correct)
0.4: Theoretical Computer - Science October Usa (Correct)
0.3: Comparing Functional Paradigms for Exact Real-Number - Bauer, Escardó, Simpson (2002) (Correct)
Similar documents based on text: More All
0.4: On the Compact-Regular Coreflection of a Stably Compact Locale - Escardo (Correct)
0.4: The Regular-Locally-Compact Coreflection of a Stably Locally.. - Escardo (1999) (Correct)
0.4: Semantics of Exact Real Arithmetic - Potts, Edalat, Escardó (1997) (Correct)
BibTeX entry: (Update)
@misc{ to-electronic,
author = "Science Elsevier To",
title = "Electronic Notes in Theoretical Computer",
url = "citeseer.ist.psu.edu/290540.html" }
Citations (may not include all citations):13 Integration in Real PCF - Edalat, Escardo - 1996
9 PCF extended with real numbers - Escardo - 1996
7 The way-below relation of function spaces over semantic doma.. - Erker, Escardo et al. - 1998
5 Information and Computation (context) - Edalat, Escardo et al.
2 Real PCF extended with 9 is universal (context) - Escardo - 1996
1 A concise cv including list of publications (context) - Escardo
1 Injective spaces via (context) - Escardo
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC