Back to Results
First PageMeta Content
Logic in computer science / Formal sciences / Dependently typed programming / Type theory / Robert Lee Constable / Logic programming / Mathematical logic / Orc / Curry–Howard correspondence / Mathematics / Theoretical computer science / Logic


Robert L. Constable Curriculum Vitae September 9, 2014 PERSONAL DETAILS • Citizenship • Contacting Address
Add to Reading List

Document Date: 2014-09-09 13:38:19

Open Document

File Size: 130,76 KB

Share Result on Facebook
UPDATE