]>
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 |