Talk at General Proof Theory, Celebrating 50 Years of Dag Prawitz's “Natural Deduction”, Tübingen
Title: High-school sequent calculus and an intuitionistic formula hierarchy preserving identity of proofs
http://ls.informatik.uni-tuebingen.de/GPT/
Comment here: @danko@mamot.fr Follow using the Fediverse ID: @danko@blog.iaddg.net