science.mathematics.frogs (thread)

Grant application, Alessio Guglielmi
resolution as cut, Rajeev . Gore-/hejbHI7ObxcYUQs2IXCwA
Trivial observation on resolution, Alessio Guglielmi
- Re:Trivial observation on resolution, Rajeev . Gore-/hejbHI7ObxcYUQs2IXCwA
  - Re:Trivial observation on resolution, David Pym
  - Re:Trivial observation on resolution, Alessio Guglielmi
  - Re: Trivial observation on resolution, James Harland
Workshops, Alessio Guglielmi
New paper: Classical categories and deep inference, Richard McKinley
Structures and Deduction Workshop CfP - ICALP '05 Satellite, Paola Bruscoli
Re: Term syntax for derivations in Deep-Inference systems - CORRECTION, Alessio Guglielmi
Re: Term syntax for derivations in Deep-Inference systems, Alessio Guglielmi
- Re: Term syntax for derivations in Deep-Inference systems, Kai Brünnler
  - Re: Term syntax for derivations in Deep-Inference systems, Alessio Guglielmi