]>
2018-02-15 | Ferruccio Guidi | integrating the framework with fle ... | blob | commitdiff | raw |
2017-11-27 | Ferruccio Guidi | - free variables innclusion (fle) encapsulates some... | blob | commitdiff | raw | diff to current |
2017-10-25 | Ferruccio Guidi | - exclusion binder in local environments | blob | commitdiff | raw | diff to current |
2017-03-29 | Ferruccio Guidi | - advances towards strong normalization | blob | commitdiff | raw | diff to current |
2017-01-18 | Ferruccio Guidi | - improved lfpr_lfpr | blob | commitdiff | raw | diff to current |
2017-01-17 | Ferruccio Guidi | lfpx_frees and confluence of lfpr! | blob | commitdiff | raw | diff to current |
2017-01-16 | Ferruccio Guidi | advances towards confluence of reduction in local envir... | blob | commitdiff | raw | diff to current |
2016-09-19 | Ferruccio Guidi | some improvements towards the confluence of lfpr ... | blob | commitdiff | raw | diff to current |
2016-09-15 | Ferruccio Guidi | diamond property of reduction! | blob | commitdiff | raw | diff to current |