A. Matos homepage

Recovered from an older version

Armando B. Matos
$ Display all 3194 possibilities? (y or n)

Researcher and retired teacher, email: reverse "moc.oohay@mcbodnamra"
LIACC, Artificial Intelligence Computer Science Laboratory    /    Computer Science Department    /    Faculty of Sciences    /    FCUP info    /    Universidade do Porto    /    Porto
What can be asserted without evidence can also be dismissed without evidence.


            Papers (below)            

            Reversible languages: work in progress (pdf)                   Course: “Topics on Advanced Algorithms”
            Reversible languages: TCS paper (pdf)                   Course: “Introductory Programming”
            ...A text on advanced algorithms (pdf).                   Course: “Complexity”
            Mathoverflow                   Course: “Imperative Programming”
            Research on primitive recursive functions                   C.A.R. Hoare on categories (only for my study)
Pr. recursive functions: implementation efficiency                   Logicians discussing weak arithmetics
AI & CS Lab, LIACC, Univ. Porto                   Consequences of Godel's Incompleteness Theorem
Programming is useful...                   Panflation!        
List of quotes...             Frege
"Random" quote:
  Jaron Lanier (Scientific American)
     We still have the potential to choose what we want. 
     When we speak about grand trade­offs between privacy and security 
     or privacy and convenience, it is as if these trade­offs are unavoidable. 
     It is as if we have forgotten the most basic fact about computers: 
         they are programmable!

List of papers and research notes

Available papers: click on the title to see the document