Skip to Content.

frogs - Deep inference, proof nets, structads, the calculus of structures and other amphibians of structural proof theory.

Subject: Deep inference, proof nets, structads, the calculus of structures and other amphibians of structural proof theory.

List archive

2017
01
02
03
04
05
06
07
08
09
10
11
12

2018
01
02
03
04
05
06
07
08
09
10
11
12

2019
01
02
03
04
05
06
07
08
09
10
11
12

2020
01
02
03
04
05
06
07
08
09
10
11
12

2020/06 1 mails

<< < page 1 / 1 > >>

[Frogs] The Proof Theory Blog, A.Das AT bham.ac.uk, 06/01/2020

Archive powered by MHonArc 2.6.19+.