Calculus in coinductive form

Proceedings - Symposium on Logic in Computer Science

Volumn 1998-June, Issue , 1998, Pages 408-417

  Pavlovic D ^a   Escardo M H ^b  

^a KESTREL INSTITUTE   (United States)

^b UNIVERSITY OF EDINBURGH   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRA; COMPUTATION THEORY; COMPUTER CIRCUITS; DIFFERENCE EQUATIONS; DIFFERENTIATION (CALCULUS); LAPLACE TRANSFORMS; ORDINARY DIFFERENTIAL EQUATIONS;

COINDUCTION; COMPUTER ALGEBRA; INFINITE OBJECTS; OPERATOR CALCULUS; REAL NUMBER; SYMBOLIC COMPUTATION;

CALCULATIONS;

EID: 84956987886     PISSN: 10436871     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/LICS.1998.705675     Document Type: Conference Paper

References (15)

1. J. Barwise and L.S. Moss, Vicious Circles (CSLI 1996).
2. G. Birkhoff and G.-C. Rota, Ordinary Differential Equations (John Wiley and Sons 1959, third ed. 1978).
3. L. Brand, Differential and Difference Equations (J. Wiley 1966).
4. Th. Coquand, Infinite Objects in Type Theory, Types for Proofs and Programs, Lecture Notes in Computer Science 806 (Springer 1993).
5. C.A.R. Hoare, Communicating Sequential Processes (Prentice Hall 1985).
6. F. John, Partial Differential Equations (Springer 1971, fourth ed. 1982).
7. B. Malgrange, Ideals of Differentiate Functions (Oxford University Press 1966).
8. N.P. Mendler, P. Panangaden and R.L. Constable, Infinite Objects in Type Theory, Proceedings of the First LICS, (IEEE 1986) 249255.
9. J. Mikusinski, Operational Calculus (Pergamon Press, 1959).
10. R. Milner and M. Tofte, Co-induction in Relational Semantics, Theoret. Comput. Sci. 87(1991) 209-220.
11. D. Pavlovic, Guarded induction on final coalgebras. Electr. Notes in Theor. Comput. Sci. 11(1998) 1-18 (URL http://www.elsevier.nl/locate/entcs/volumell.html).
12. E. Phragmen, Sur une extension d'un the- oreme classique de la theorie des fonctions, Acta Math., 28(1904) 331-368.
13. J. Rutten and D. Turi, Initial algebra and final coalgebra semantics for concurrency. In: A Decade of Concurrency (J.W. de Bakker et al., eds.) Lecture Notes in Computer Science 803 (Springer 1994) 530-582.
14. J.-C. Tougeron, Ideaux de Fonctions Differentiates, Ergebnisse der Mathematik 71 (Springer 1971).
15. D.V. Widder, The Laplace Transform (Princeton University Press 1946).