Untyped Lambda-Calculus with Input-Output

@inproceedings{Tiuryn1996UntypedLW,
  title={Untyped Lambda-Calculus with Input-Output},
  author={Jerzy Tiuryn and Mitchell Wand},
  booktitle={CAAP},
  year={1996}
}
x Abstract. We introduce an untyped-calculus with input-output, based on Gordon's continuation-passing model of input-output. This calculus is intended to allow the classiication of possibly innnite input-output behaviors, such as those required for servers or distributed systems. We deene two terms to be operationally approximate ii they have similar behaviors in any context. We then deene a notion of applicative approximation and show that it coincides with operational approximation for these… CONTINUE READING

References

Publications referenced by this paper.
Showing 1-10 of 12 references

A Note on Proving Congruence of Bisimulation in a Generalized Lambda Calculus

  • Douglas J. Howe
  • 1995

Similar Papers

Loading similar papers…