ImpredicativePolymorphism/Impredicative-2015: impredicativity.pdf

File impredicativity.pdf, 218.1 KB (added by AlejandroSerrano, 4 years ago)

Document describing the design

HTML preview not available, since no preview renderer could handle it. Try downloading the file instead.