Selected papers
course: “Introductory Programming” (python)
→reversible languages: some papers, work in progress
course: “Topics on Advanced Algorithms”
...a book on advanced algorithms...
course: “Complexity”
...on the difficulty of programming...
course: “Imperative Programming” (C)
Liacc
email: acm|dcc#fc#up#pt where |=@ and #=.
Dexter Kozen If this appears confusing, don't worry, it really is.