|
Calculus of structures and sequent calculus: msg#00004science.mathematics.frogs
Dear frogs, For my first post on this list (on any list, in fact!), I would like to have your expert opinion on the following (huge, I think) subject: "What are the benefits of calculus of structures with respect to sequent calculus?" (and conversely) I already have some personal answers, but they are mainly concerned with the "algebraic" structure of derivations. I'd wish to have some facts coming from a proof theorist. This is to present the work I will talk about in Dresden to people who know sequent calculus very well (and love it, so they are kind of reluctant when it comes to exchange it with two barrels of CoS...) Thank you for any comment, Yves |
|
| <Prev in Thread] | Current Thread | [Next in Thread> |
|---|---|---|
| Previous by Date: | Workshop: 00004, Alessio Guglielmi |
|---|---|
| Next by Date: | Re:Calculus of structures and sequent calculus: 00004, Alessio Guglielmi |
| Previous by Thread: | Workshopi: 00004, Alessio Guglielmi |
| Next by Thread: | Re:Calculus of structures and sequent calculus: 00004, Alessio Guglielmi |
| Indexes: | [Date] [Thread] [Top] [All Lists] |
| News | FAQ | advertise |