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
Next revision
Previous revision
theory:start [2013/07/02 11:26]
Patrick Michel
theory:start [2013/07/02 11:44] (current)
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 ^ +^ Version ^ Description ​^ Resources ​
-| [[https://​xcend.de/​theory/​html/​itp/​|ITP]] | Published at [[http://​itp2012.cs.princeton.edu|ITP 2012]] in Princeton. | +| [[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. |+| [[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.1372757198.txt.gz · Last modified: 2013/07/02 11:26 by Patrick Michel