Programming in equational logic: beyond strong sequentiality

Publisher Website

4 December 2002

conference paper
Published by Institute of Electrical and Electronics Engineers (IEEE)

https://doi.org/10.1109/lics.1990.113749

Abstract

No abstract available

This publication has 3 references indexed in Scilit:

On the correspondence between two classes of reduction systems
Information Processing Letters, 1985
HOPE
Published by Association for Computing Machinery (ACM) ,1980
Computing in systems described by equations
Lecture Notes in Computer Science, 1977