1. Thibaut
Balabonski
.
Axiomatic sharing-via-labelling
. In Ashish Tiwari editor RTA volume
15
of
LIPIcs pages
85
--
100
. Schloss Dagstuhl - Leibniz-Zentrum fuer
Informatik 2012
. Thibaut Balabonski. Axiomatic sharing-via-labelling. In Ashish Tiwari editor RTA volume 15 of LIPIcs pages 85--100. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik 2012.
2. A unified approach to fully lazy sharing
3. Studies in Logic and the Foundations of Mathematics;Barendregt Hendrik Pieter,1984
4. Needed reduction and spine strategies for the lambda calculus