A new functional interpretation of the v
β
P. Duelli
π
Article
π
1985
π
Springer
π
English
β 107 KB