351 search results - page 4 / 71 » Classical proof forestry |
TYPES
1995
Springer
15 years 6 months ago
1995
Springer
APAL
2004
15 years 3 months ago
2004
SLOGICA
1998
15 years 2 months ago
1998
144
click to vote
AML
2004
15 years 3 months ago
2004
We present a realizability interpretation for classical analysis
114
click to vote
JCT
2011
14 years 10 months ago
2011
Abstract. Based on the ideas in [CKP], we introduce the weighted analogue of the branching rule for the classical hook length formula, and give two proofs of this result. The firs...