Back to Results
First PageMeta Content
Dependently typed programming / Logic in computer science / Type theory / Proof theory / Functions and mappings / Function / Intuitionistic type theory / Lambda calculus / Xi / Mathematics / Mathematical logic / Logic


Uniform Logical Relations Edwin Westbrook Department of Computer Science
Add to Reading List

Document Date: 2012-04-06 13:26:12

Open Document

File Size: 416,18 KB

Share Result on Facebook
UPDATE