Back to Results
First PageMeta Content
Entailment / Logical consequence / Metalogic / Soundness / Logic / Deduction / Proof theory


Down with kinds: adding dependent heterogeneous equality to FC (Extended Version) Stephanie Weirich Justin Hsu
Add to Reading List

Document Date: 2014-07-10 05:47:14

Open Document

File Size: 379,32 KB

Share Result on Facebook
UPDATE