Game semantics and abstract machines
- 23 December 2002
- proceedings article
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- p. 394-405
- https://doi.org/10.1109/lics.1996.561456
Abstract
No abstract availableThis publication has 3 references indexed in Scilit:
- Games semantics for full propositional linear logicPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Head linear reduction and pure proof net extractionTheoretical Computer Science, 1994
- Explicit substitutionsPublished by Association for Computing Machinery (ACM) ,1990