![Mathematics / Curry–Howard correspondence / Sequent calculus / Cut-elimination theorem / Proof net / Linear logic / Denotational semantics / Model theory / Net / Proof theory / Logic / Mathematical logic Mathematics / Curry–Howard correspondence / Sequent calculus / Cut-elimination theorem / Proof net / Linear logic / Denotational semantics / Model theory / Net / Proof theory / Logic / Mathematical logic](https://www.pdfsearch.io/img/7399cfb2890c5be4d3a07ea5fe84ee23.jpg)
| Document Date: 2013-06-06 21:36:57 Open Document File Size: 343,52 KBShare 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 |