New foundations for fixpoint computations
- 4 December 2002
- proceedings article
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- p. 489-497
- https://doi.org/10.1109/lics.1990.113771
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- Computational lambda-calculus and monadsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- A type-theoretical alternative to ISWIM, CUCH, OWHYTheoretical Computer Science, 1993
- The calculus of constructionsInformation and Computation, 1988
- Logic and ComputationPublished by Cambridge University Press (CUP) ,1987
- Algebraic specification of data types: A synthetic approachTheory of Computing Systems, 1981
- LCF considered as a programming languageTheoretical Computer Science, 1977