Back to Results
First PageMeta Content
Type theory / Logic in computer science / Proof theory / Dependently typed programming


I NTRODUCTION A typed calculus of PRA Typing translation
Add to Reading List

Document Date: 2014-05-13 11:20:35

Open Document

File Size: 194,17 KB

Share Result on Facebook