]>
2020-01-08 | Ferruccio Guidi | update in ground_2, static_2, basic_2, apps_2, alpha_1 | tree | commitdiff |
2019-11-19 | Ferruccio Guidi | λδ-2B is released | tree | commitdiff |
2019-11-18 | Ferruccio Guidi | update for the article | tree | commitdiff |
2018-05-03 | Ferruccio Guidi | notational update in lambdadelta completed | tree | commitdiff |
2017-01-22 | Ferruccio Guidi | - degree-based equivalene for terms | tree | commitdiff |