Back to Results
First PageMeta Content
Proof theory / Deduction / Propositional calculus / Logic in computer science / Non-classical logic / Natural deduction / Function / Π-calculus / Curry–Howard correspondence / Logic / Mathematical logic / Mathematics


ZU064-05-FPR linearpi 20 December 2013
Add to Reading List

Document Date: 2014-03-17 07:07:57

Open Document

File Size: 250,57 KB

Share Result on Facebook

Company

Honda / /

/

Event

Reorganization / FDA Phase / /

Facility

Sessions PHILIP WADLER University of Edinburgh / /

IndustryTerm

input protocol / then obeying protocol / channel obeying protocol / left selection right selection choice server / output protocol / /

Organization

University of Edinburgh / /

Person

Philip Wadler / P. Equivalence (Assoc) / Ai / Curry / Howard / /

Position

current author / /

Product

A1 / /

Technology

Functional Programming / dual protocol / then obeying protocol / mobile phones / input protocol / channel obeying protocol / obeying protocol / output protocol / /

SocialTag