Back to Results
First PageMeta Content
Mathematics / Curry–Howard correspondence / Sequent calculus / Cut-elimination theorem / Proof net / Linear logic / Denotational semantics / Model theory / Net / Proof theory / Logic / Mathematical logic


GDP Festschrift ENTCS, to appear Event Domains, Stable Functions and Proof-Nets
Add to Reading List

Document Date: 2013-06-06 21:36:57

Open Document

File Size: 343,52 KB

Share Result on Facebook

/

Facility

Stable Functions / Oxford University Computing Laboratory Wolfson Building / MALL Axiom/Cut / /

IndustryTerm

Proof systems / fundamental tools / cartesian product / /

Movie

D. 4 / /

OperatingSystem

Sequent / /

Organization

Oxford University / /

Person

Gordon Plotkin / Radha Jagadeesan / Dominic Hughes / Rob van Glabbeek / /

Position

researcher / /

Technology

functional programming / /

SocialTag