Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by Crossref.
Engrácia, Patrícia
2012.
The bounded functional interpretation of bar induction.
Annals of Pure and Applied Logic,
Vol. 163,
Issue. 9,
p.
1183.
Ferreira, Fernando
2015.
Gentzen's Centenary.
p.
279.