Differences

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

Link to this comparison view

Both sides previous revisionPrevious revision
Next revisionBoth sides next revision
research:gsf [2021/02/09 15:50] – elabradaresearch:gsf [2021/02/09 15:51] – elabrada
Line 6: Line 6:
  
 ====== Technical Report ====== ====== Technical Report ======
-Auxiliary definitions and proofs of the main results can be found in the +Auxiliary definitions and proofs of the main results can be found in the companion technical report
 {{research:tr.pdf| Gradual System F: Auxiliary Definitions and Proofs}}. {{research:tr.pdf| Gradual System F: Auxiliary Definitions and Proofs}}.