Sciweavers

MLQ
2008

Dialectica interpretation of well-founded induction

13 years 11 months ago
Dialectica interpretation of well-founded induction
Helmut Schwichtenberg
Added 13 Dec 2010
Updated 13 Dec 2010
Type Journal
Year 2008
Where MLQ
Authors Helmut Schwichtenberg
Comments (0)