Author:
Romaguera Salvador,Valero Oscar
Subject
Applied Mathematics,Computational Theory and Mathematics,Computer Science Applications
Reference23 articles.
1. A Metric Approach to Control Flow Semantics
2. Denotational models for programming languages: applications of Banach's Fixed Point Theorem
3. PCF extended with real numbers
4. Escardó, M. H. 1998.Introduction to real PCF. 1998, Paris. Notes for an invited speech at the 3rd Real Numbers and Computers Conference (RNC3), l'Universite Pierre et Marie Cur, Available at:http://www.cs.bham.ac.uk/~mhe/papers.html
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献