GitHub repository: juda/Iso-Recursive-Subtyping
Primary language: HTML
Created: 2020-09-08T03:30:55Z
Description: Revisiting Iso-Recursive Subtyping