science.mathematics.frogs (thread)

Proposal for a workshop in Lisbon, Paola Bruscoli
Web page on open problems, Alessio Guglielmi
Mailing list, Alessio Guglielmi
Paper anouncement, Lutz Strassburger
- Re:Paper anouncement, Alessio Guglielmi
- Re: Paper announcement, Lutz Strassburger
Re:ICALP workshop proposal: Applications of New Proof Theory, Alessio Guglielmi
- Re:ICALP workshop proposal: Applications of New Proof Theory, Paola Bruscoli
  - Re:ICALP workshop proposal: Applications of New Proof Theory, Rajeev . Gore-FCV4sgi5zeUQrrorzV6ljw
Re: Splitting, cut elimination and classical logic, Alessio Guglielmi