Back to Results
First PageMeta Content
Deduction / Logical consequence / Natural deduction / Propositional calculus / Sequent calculus / Entailment / Linear logic / Monotonicity of entailment / Curry–Howard correspondence / Logic / Proof theory / Mathematical logic


Multi-focusing on extensional rewriting with sums Gabriel Scherer1 1 Gallium, INRIA, France
Add to Reading List

Document Date: 2015-04-02 15:59:38

Open Document

File Size: 562,23 KB

Share Result on Facebook

Company

Dagstuhl Publishing / Creative Commons / /

Country

Germany / /

IndustryTerm

multi-focusing systems / non-preemptive systems / proof search / /

Person

Sam Lindley / Bill Editors / Gabriel Scherer / Ana Ana / Ai / /

Position

Editor / /

ProgrammingLanguage

Lambda calculus / /

Technology

Digital Object Identifier / /

SocialTag