Equality in lazy computation systems
- 7 January 2003
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
Abstract
No abstract availableThis publication has 5 references indexed in Scilit:
- Constructive Mathematics and Computer ProgrammingPublished by Elsevier ,2014
- Can LCF be topped? Flat lattice models of typed lambda calculusPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Full Abstraction in the Lazy Lambda CalculusInformation and Computation, 1993
- Fast Decision Procedures Based on Congruence ClosureJournal of the ACM, 1980
- A Calculus of Communicating SystemsLecture Notes in Computer Science, 1980