]>
2012-12-21 | Andrea Asperti | Many changes | blob | commitdiff | raw |
2012-08-07 | Andrea Asperti | guarded realizability | blob | commitdiff | raw | diff to current |
2012-06-05 | Andrea Asperti | Some results on relations. Moved things around. | blob | commitdiff | raw | diff to current |
2012-05-07 | Andrea Asperti | Prove di terminazione | blob | commitdiff | raw | diff to current |
2012-05-04 | Wilmer Ricciotti | Added a turing/universal directory for the universal... | blob | commitdiff | raw | diff to current |
2012-05-04 | Wilmer Ricciotti | progress | blob | commitdiff | raw | diff to current |
2012-05-03 | Wilmer Ricciotti | progress in while test machine | blob | commitdiff | raw | diff to current |
2012-05-02 | Wilmer Ricciotti | While semantics. | blob | commitdiff | raw | diff to current |
2012-05-02 | Andrea Asperti | progress | blob | commitdiff | raw | diff to current |
2012-05-02 | Andrea Asperti | while machine | blob | commitdiff | raw | diff to current |