User Tools

Site Tools


theory:start

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
theory:start [2013/07/02 11:31]
Patrick Michel
theory:start [2013/07/02 11:44]
Patrick Michel
Line 5: Line 5:
 The full theory (as <​nowiki>​HTML and PDF</​nowiki>​) is available here: The full theory (as <​nowiki>​HTML and PDF</​nowiki>​) is available here:
  
-^ Version ^ Description ^ Document ​^+^ Version ^ Description ^ Resources ​^
 | [[https://​xcend.de/​theory/​html/​itp/​|ITP]] | Published at [[http://​itp2012.cs.princeton.edu|ITP 2012]] in Princeton. | [[https://​softech.cs.uni-kl.de/​twiki/​pub/​Homepage/​Publikationen/​itp12.pdf|paper]] | | [[https://​xcend.de/​theory/​html/​itp/​|ITP]] | Published at [[http://​itp2012.cs.princeton.edu|ITP 2012]] in Princeton. | [[https://​softech.cs.uni-kl.de/​twiki/​pub/​Homepage/​Publikationen/​itp12.pdf|paper]] |
-| [[https://​xcend.de/​theory/​html/​phd/​|PhD]] | The accompanying theory of the PhD thesis. | in revision ​|+| [[https://​xcend.de/​theory/​html/​phd/​|PhD]] | The accompanying theory of the PhD thesis. | [[https://​xcend.de/​theory/​html/​phd/​sources.zip|sources]]((A //flat// ZIP file of all "​thy"​ files. )) |
theory/start.txt ยท Last modified: 2013/07/02 11:44 by Patrick Michel