User Tools

Site Tools


talkcorradi

Differences

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

Link to this comparison view

Both sides previous revision Previous revision
talkcorradi [2014/07/25 16:54]
unige
talkcorradi [2014/07/25 16:54] (current)
unige
Line 14: Line 14:
 To our knowledge, this is the first proposal for a sound and complete top-down direct algorithm for semantic subtyping between coinductive types. To our knowledge, this is the first proposal for a sound and complete top-down direct algorithm for semantic subtyping between coinductive types.
  
-{{:​corradi.pdf|}}+{{:​corradi.pdf|slides}}
talkcorradi.txt ยท Last modified: 2014/07/25 16:54 by unige