Dieses Dokuwiki verwendet ein von Anymorphic Webdesign erstelltes Thema.

Differences

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

Link to this comparison view

workshop_4 [2014/06/28 16:27]
ong [Planning]
workshop_4 [2014/06/30 11:02] (current)
ong [Planning]
Line 42: Line 42:
 |11h00-12h00|Helmut Seidl|//​[[https://​dl.dropboxusercontent.com/​u/​75950203/​seidl.pdf|Efficiently intertwining widening and narrowing]]//​| |11h00-12h00|Helmut Seidl|//​[[https://​dl.dropboxusercontent.com/​u/​75950203/​seidl.pdf|Efficiently intertwining widening and narrowing]]//​|
 ^Thursday 26 June||| ^Thursday 26 June|||
-| 9h30-10h30|Colin Stirling|//​Deciding equivalence using type checking//|+| 9h30-10h30|Colin Stirling|//[[http://​homepages.inf.ed.ac.uk/​cps/​paris.pdf|Deciding equivalence using type checking]]//|
 |11h00-12h00|Kazushige Terui|//​[[https://​dl.dropboxusercontent.com/​u/​75950203/​terui.pdf|On applications of models of linear logic]]//| |11h00-12h00|Kazushige Terui|//​[[https://​dl.dropboxusercontent.com/​u/​75950203/​terui.pdf|On applications of models of linear logic]]//|
 |14h30-15h30|Paul-André Melliès|//​Linear logic and higher-order model-checking//​| |14h30-15h30|Paul-André Melliès|//​Linear logic and higher-order model-checking//​|
workshop_4.txt · Last modified: 2014/06/30 11:02 by ong
Dieses Dokuwiki verwendet ein von Anymorphic Webdesign erstelltes Thema.
www.chimeric.de Valid CSS Driven by DokuWiki do yourself a favour and use a real browser - get firefox!! Recent changes RSS feed Valid XHTML 1.0