science.mathematics.frogs (thread)

BOOK ANNOUNCEMENT: The Parametric Lambda Calculus, Luca Paolini
Counterexamples, Alessio Guglielmi
Proof nets and bureaucracy, Alessio Guglielmi
- Re:Proof nets and bureaucracy, Alessio Guglielmi
- Re: Proof nets and bureaucracy, Charles Stewart
  - Re: Proof nets and bureaucracy, Alessio Guglielmi
    - deductive proof nets, Kai Brünnler
    - Re:deductive proof nets, Alessio Guglielmi
- Re: Proof nets and bureaucracy, Lutz Strassburger
  - Re: Proof nets and bureaucracy, Alessio Guglielmi
Re: Two more FAQ entries, Greg Restall
- Re: Two more FAQ entries, Lutz Strassburger
  - Re: Two more FAQ entries, Alessio Guglielmi
    - Re: Two more FAQ entries, Lutz Strassburger
- Re: Two more FAQ entries, Lutz Strassburger
  - Re: Two more FAQ entries, Charles Stewart