]>
2014-05-23 | Ferruccio Guidi | advances on cofrees allows to prove one direction of | blob | commitdiff | raw |
2014-05-10 | Ferruccio Guidi | advances on cofrees | blob | commitdiff | raw | diff to current |
2014-04-25 | Ferruccio Guidi | - advances in the theory of cofrees | blob | commitdiff | raw | diff to current |
2014-04-21 | Ferruccio Guidi | - we introduce recursive free variables of a term in... | blob | commitdiff | raw | diff to current |