About this scholarly article

Proceedings of Tenth Annual IEEE Symposium on Logic in Computer Science - Games and full abstraction for the lazy λ-calculus by Abramsky, S.; McCusker, G. is a scholarly article available to read on EtoBox.

Author

Abramsky, S.; McCusker, G.

Publisher

IEEE

Published

1995

Language

EN