2013-09-03 | Christian Urban |
soem changes | file | diff | annotate |
2013-04-24 | Christian Urban |
updated | file | diff | annotate |
2013-04-22 | Christian Urban |
updated and small modification | file | diff | annotate |
2013-04-05 | Christian Urban |
polished the intro | file | diff | annotate |
2013-04-01 | Christian Urban |
fixed counterexample according to def in Chap 8 | file | diff | annotate |
2013-03-29 | Christian Urban |
changed the introduction adn cited Zammit | file | diff | annotate |
2013-03-29 | Christian Urban |
updated according to comments from reviewers | file | diff | annotate |
2013-03-27 | Christian Urban |
tunded | file | diff | annotate |
2013-03-27 | Christian Urban |
adapted paper | file | diff | annotate |
2013-03-07 | Christian Urban |
tuned conclusion | file | diff | annotate |
2013-03-07 | Christian Urban |
small typo in the paper | file | diff | annotate |
2013-03-06 | Christian Urban |
added a comment about deeply embedding of recursive functions | file | diff | annotate |
2013-02-27 | Christian Urban |
added a coment about partial_function | file | diff | annotate |
2013-02-26 | Christian Urban |
tuned some files | file | diff | annotate |
2013-02-22 | Christian Urban |
updated Scala files | file | diff | annotate |
2013-02-21 | Christian Urban |
renamed sete definition to adjust and old special case of adjust to adjust0 | file | diff | annotate |
2013-02-19 | Christian Urban |
polished some typos in the paper | file | diff | annotate |
2013-02-19 | Christian Urban |
added link and comment to fourth edition of Boolos | file | diff | annotate |
2013-02-19 | Christian Urban |
added clear-definition to paper | file | diff | annotate |
2013-02-14 | Christian Urban |
typo in the paper | file | diff | annotate |
2013-02-14 | Christian Urban |
updated some files | file | diff | annotate |
2013-02-13 | Christian Urban |
tuned | file | diff | annotate |
2013-02-10 | Christian Urban |
fixed compilation of paper and typo | file | diff | annotate |
2013-02-07 | Christian Urban |
updated paper | file | diff | annotate |
2013-02-07 | Christian Urban |
updated paper | file | diff | annotate |
2013-02-07 | Christian Urban |
updated paper | file | diff | annotate |
2013-02-07 | Christian Urban |
updated paper | file | diff | annotate |
2013-02-07 | Christian Urban |
updated paper | file | diff | annotate |
2013-02-07 | Christian Urban |
updated paper | file | diff | annotate |
2013-02-07 | Christian Urban |
updated paper | file | diff | annotate |
2013-02-07 | Christian Urban |
updated paper | file | diff | annotate |
2013-02-07 | Christian Urban |
updated paper | file | diff | annotate |
2013-02-07 | Christian Urban |
updated paper | file | diff | annotate |
2013-02-07 | Christian Urban |
updated paper | file | diff | annotate |
2013-02-07 | Christian Urban |
updated paper | file | diff | annotate |
2013-02-07 | Christian Urban |
updated paper | file | diff | annotate |
2013-02-07 | Christian Urban |
updated paper | file | diff | annotate |
2013-02-07 | Christian Urban |
updated paper | file | diff | annotate |
2013-02-07 | Christian Urban |
updated paper | file | diff | annotate |
2013-02-07 | Christian Urban |
updated paper | file | diff | annotate |
2013-02-07 | Christian Urban |
updated paper | file | diff | annotate |
2013-02-06 | Christian Urban |
updated | file | diff | annotate |
2013-02-06 | Christian Urban |
updated | file | diff | annotate |
2013-02-06 | Christian Urban |
updated | file | diff | annotate |
2013-02-06 | Christian Urban |
updated | file | diff | annotate |
2013-02-06 | Christian Urban |
updated | file | diff | annotate |
2013-02-06 | Christian Urban |
updated | file | diff | annotate |
2013-02-06 | Christian Urban |
updated | file | diff | annotate |
2013-02-06 | Christian Urban |
added UTM | file | diff | annotate |
2013-02-06 | Christian Urban |
updated recursive | file | diff | annotate |
2013-02-06 | Christian Urban |
updated | file | diff | annotate |
2013-02-05 | Christian Urban |
conclusion | file | diff | annotate |
2013-02-05 | Christian Urban |
updated | file | diff | annotate |
2013-02-05 | Christian Urban |
updated | file | diff | annotate |
2013-02-05 | Christian Urban |
updated | file | diff | annotate |
2013-02-05 | Christian Urban |
paper | file | diff | annotate |
2013-02-05 | Christian Urban |
updated | file | diff | annotate |
2013-02-05 | Christian Urban |
updated | file | diff | annotate |
2013-02-05 | Christian Urban |
updated | file | diff | annotate |
2013-02-05 | Christian Urban |
updated | file | diff | annotate |