]>
2012-12-11 | Ferruccio Guidi | - pointer structure simplified | blob | commitdiff | raw |
2012-12-08 | Ferruccio Guidi | - new pointes can point to any subterm | blob | commitdiff | raw | diff to current |
2012-12-06 | Ferruccio Guidi | - we enabled a notation for ex2 | blob | commitdiff | raw | diff to current |
2012-12-04 | Ferruccio Guidi | we started Kashima's proof of standardization | blob | commitdiff | raw | diff to current |
2012-12-01 | Ferruccio Guidi | - lambda: parallel reduction to obtain diamond property | blob | commitdiff | raw | diff to current |
2012-11-29 | Ferruccio Guidi | - labelled sequential reduction started ... | blob | commitdiff | raw | diff to current |