ImpredicativePolymorphism/Impredicative-2015: only-prop.pdf

File only-prop.pdf, 103.9 KB (added by AlejandroSerrano, 4 years ago)

Constraint generation+propagation rules

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