Pith. sign in

REVIEW 5 minor 100 references

Weights and characters for affine Hecke algebras

T0 review · 0 major / 5 minor · reviewed 2026-07-14 · grok-4.5

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

Pith's one-line read Weights uniquely determine simple modules for quasi-simply-connected affine Hecke algebras, and isogenies preserve unitarity.

desk verdict Solid algebraic extension of weight-uniqueness for quasi-simply-connected affine Hecke algebras, plus clean isogeny functoriality for Hermitian duals and unitarity. read the letter →

arxiv 2607.10010 v1 pith:D5P4NIU4 submitted 2026-07-10 math.RT

Maximilien J. Mackie This is my paper · ORCID
classification math.RT MSC 20C0822E50
keywords affineHeckealgebrasweightscharactersLanglandsclassificationisogeniesunitarityHermitianformsquasi-simply-connected
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

Affine Hecke algebras control the representation theory of p-adic groups via Bernstein blocks, and their simple modules carry a collection of weights coming from a large commutative subalgebra. This paper proves that when the root datum is quasi-simply-connected those weights already determine each simple module, and that the formal characters of simple modules are linearly independent; consequently any finite-length module can be reconstructed from its character by a finite algorithm once the tempered modules for proper parabolics are known. The same uniqueness is used to study induction and restriction along central morphisms (isogenies) of root data: the larger algebra becomes a graded module over the smaller one, induction and restriction preserve semisimplicity, and both operations send Hermitian forms to Hermitian forms while preserving unitarity. The results therefore give a precise dictionary between representations of isogenous groups that keeps track of the analytic properties needed for the Langlands correspondence.

What carries the argument

The Langlands classification of simple modules as unique irreducible quotients of standard modules M(P, π, t), combined with the fact that stabilisers of weights are generated by reflections (Lemma 7) for quasi-simply-connected root data; this forces tempered+antitempered modules with the same central character to be isomorphic and yields linear independence of characters by induction on parabolic rank.

What would settle it

Exhibit a quasi-simply-connected affine Hecke algebra (especially adjoint type B with unequal short-root parameters) and two non-isomorphic tempered+antitempered simple modules that share the same central character, or two non-isomorphic simples with identical sets of A-weights.

Watch

Extended reading notes

Core claim

For a quasi-simply-connected affine Hecke algebra the A-characters of simple modules are linearly independent over C, so the set of weights uniquely determines each simple module and characters determine Jordan–Hölder multiplicities of finite-length modules. Along isogenies, induction and restriction preserve semisimplicity, Hermitian duals and unitarity.

Load-bearing premise

The claim that every weight stabiliser is generated by reflections when the root datum is quasi-simply-connected, proved by a short induction for adjoint type B; if that generation fails for some parameters the uniqueness theorems collapse.

Editorial extensions

If this is right

  • Any finite-length module over a quasi-simply-connected affine Hecke algebra can be reconstructed from its character once tempered modules for proper parabolics are known.
  • Induction and restriction along isogenies give a graded correspondence that preserves unitarity and Hermitian duals between the representation theories of isogenous groups.
  • Conjugacy-class packets of simple modules for non-quasi-simply-connected algebras are still uniquely determined by their weights.
  • The same character-independence holds for the associated graded affine Hecke algebras.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • The graded structure that makes the Hermitian form on induced modules work may give a model for other non-parabolic induction functors that still preserve unitarity.
  • Once tempered modules are tabulated for classical types, the algorithm of Theorem 14 becomes a practical machine for computing Jordan–Hölder series of Iwahori-fixed representations of the corresponding p-adic groups.
  • The linear-independence statement for characters should survive passage to the completed Hecke algebra used in the full local Langlands correspondence.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

0 major / 5 minor

Summary. The paper studies the extent to which A-weights and A-characters determine simple modules for affine Hecke algebras H(R) with parameters satisfying the usual non-vanishing conditions. For the newly defined class of quasi-simply-connected root data it proves that tempered+antitempered simples are uniquely determined by central character (Theorem 8), that A-characters of all simples are linearly independent (Theorem 12), and therefore that weights uniquely determine simples (Corollary 10) and characters determine Jordan–Hölder multiplicities of finite-length modules (Theorem 14). For general isogeny classes the same statements hold up to explicit outer automorphisms coming from the isogeny. The second half develops the graded algebra structure of a central morphism H1 o H2 (Proposition 21), shows that induction and restriction along isogenies preserve semisimplicity (Theorem 20), and constructs an explicit graded Hermitian pairing that realises Ind(V†)≅(Ind V)† and multiplies signatures by the index, hence preserves unitarity (Theorems 34–35).

Significance. The uniqueness and linear-independence statements complete and unify earlier results of Evens–Mirković (simply-connected equal-parameter case) and Barbasch–Ciubotaru (graded Hecke algebras), while the independent proof of Antor–Okada is acknowledged. The isogeny package supplies a clean graded-algebra description of induction/restriction that preserves the Hermitian and unitary structures; this is markedly different from the parabolic case treated by Opdam–Solleveld and is useful for reducing questions about arbitrary isogeny classes to the quasi-simply-connected setting. The arguments are self-contained once the standard Langlands classification and Kato’s criterion are granted, and the explicit graded pairing is a concrete computational tool.

minor comments (5)
  1. Definition 6 of “quasi-simply-connected” is clear, but a one-sentence remark that the only non-simply-connected primitive summands that can appear are adjoint Bn with unequal short-root parameters would help the reader see why the class is natural.
  2. In the proof of Lemma 7 the gallery argument for the simply-connected case is standard; a brief pointer to Humphreys §1.5 (already cited) or to the corresponding statement in Lusztig would make the reference complete.
  3. The linear-independence argument of Theorem 12 is inductive on parabolic rank and ultimately reduces to the tempered+antitempered case via the Iwahori–Matsumoto involution; a short sentence at the beginning of the proof outlining this strategy would improve readability.
  4. Section 4.1 (rank-1 example) is useful but could be shortened; the explicit matrices for the principal series are standard and the essential point is the behaviour of the two one-dimensional modules under the isogeny.
  5. A few typographical inconsistencies appear: “Jordan-H¨ older” (missing umlaut), “antitempered” versus “anti-tempered”, and occasional missing spaces after punctuation. These are easily corrected in production.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: uniqueness of simples by weights/characters and preservation properties along isogenies are derived from Kato's criterion, a self-contained combinatorial lemma on stabilizers, the external Langlands classification, and an explicit grading, without self-referential reduction or fitted inputs.

full rationale

The paper is a pure representation-theory derivation with no data fitting, no empirical predictions, and no self-citations. Theorem 8 (tempered+antitempered modules determined by central character) invokes Kato's external irreducibility criterion (Lemma 5) together with the paper's own short proof of Lemma 7 (stabilizers generated by reflections for quasi-simply-connected root data, via affine-Weyl galleries for simply-connected summands and signed-permutation induction for adjoint B_n) and the standing parameter conditions (1)–(2); the conclusion is not assumed. Corollary 10 and Theorem 12 then reduce the general case to Theorem 8 by the external Langlands classification (Lemma 3, Solleveld/Evens), the paper's strengthening of maximal-weight uniqueness (Proposition 2), and the Iwahori–Matsumoto involution; linear independence of characters follows by induction on parabolic rank and is not circular. The isogeny results (Theorems 20, 28, 29, 34, 35) rest on the explicit X_2/X_1-grading of H_2 (Proposition 21) and the projection E onto the degree-zero summand; they preserve semisimplicity, Hermitian duals and unitarity by direct construction and do not invoke the uniqueness theorems as black boxes. No step equates a claimed output to an input by definition, and external citations (Kato, Solleveld, Evens, Lusztig, etc.) supply independent, non-author-overlapping facts. The derivation is therefore self-contained against its stated assumptions.

Assumptions & free parameters 0 free parameters · 4 assumptions · 1 invented entities

The paper works entirely inside the standard axiomatic framework of affine Hecke algebras (root data, parameters satisfying Lusztig’s conditions, Langlands classification). No free parameters are fitted. The only non-standard definition is the class of quasi-simply-connected algebras, introduced to make the uniqueness theorems hold. All other ingredients are standard theorems of the field.

assumptions (4)
  • domain assumption Langlands classification for affine Hecke algebras: every simple module is the unique irreducible quotient of a standard module Ind(π∘φ_t) with π tempered and |t| in the positive chamber (Solleveld, Evens).
    Used throughout §2.1 and in the inductive proofs of Theorems 12 and 28.
  • domain assumption Kato’s criterion for irreducibility of principal series Ind_A^H t (Lemma 5).
    Invoked in the proof of Theorem 8 to reduce uniqueness of tempered+antitempered modules to vanishing of certain c_α.
  • domain assumption Parameters λ,λ* constant on extended affine Weyl orbits and satisfying λ(α)=λ*(α) when α^∨∉2Y and λ(α)+λ*(α)≠0 when α^∨∈2Y.
    Standing hypotheses (1)–(2) that define the specialised affine Hecke algebras under consideration.
  • ad hoc to paper Stabilisers Stab_W(t) are generated by reflections when the root datum is quasi-simply-connected (Lemma 7).
    Proved in the paper for simply-connected and adjoint B_n cases; load-bearing for Theorem 8.
invented entities (1)
  • quasi-simply-connected root datum / affine Hecke algebra
    purpose: The precise class for which weights uniquely determine simple modules and characters are linearly independent.
    Defined in Definition 6 as simply-connected or adjoint B with unequal short-root parameters; the uniqueness theorems fail without this restriction.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Weights and characters for affine Hecke algebras." pith.science (2026). https://pith.science/paper/D5P4NIU4

@misc{pith2026260710010,
  author       = {Pith},
  title        = {Pith review of: Weights and characters for affine Hecke algebras},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/D5P4NIU4}},
  note         = {Machine review of arXiv:2607.10010}
}
read the original abstract

Weights play an essential role in the classification of simple modules for affine Hecke algebras. In this paper we show the extent to which weights determine simple modules and use this to describe induction and restriction along isogenies. We also describe the behaviour of hermitian duals and unitarity under induction and restriction along isogenies.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

100 extracted references · 10 canonical work pages

  1. [1]

    International Mathematics Research Notices , volume =

    Lusztig, George , title =. International Mathematics Research Notices , volume =. 1995 , month =. doi:10.1155/S1073792895000353 , url =

    work page doi:10.1155/s1073792895000353 1995

  2. [2]

    Affine Hecke Algebras, Cyclotomic Hecke algebras and Clifford Theory

    Ram, Arun and Ramagge, Jacqui. Affine Hecke Algebras, Cyclotomic Hecke algebras and Clifford Theory. A Tribute to C. S. Seshadri: Perspectives in Geometry and Representation Theory. 2003. doi:10.1007/978-93-86279-11-8_26

    work page doi:10.1007/978-93-86279-11-8_26 2003

  3. [3]

    A Microlocal Description of

    Jonas Antor and Emile Okada , year=. A Microlocal Description of. 2605.06180 , archivePrefix=

    arXiv

  4. [4]

    Sam Evens , journal =. The

  5. [5]

    A. V. Zelevinsky , journal=. p-adic analog of the. 1981 , volume=

    1981

  6. [6]

    , journal =

    Rogawski, J.D. , journal =. On modules over the

  7. [7]

    Bushnell and Philip C

    Colin J. Bushnell and Philip C. Kutzko , publisher =. The Admissible Dual of GL(N) via Compact Open Subgroups. (AM-129) , urldate =

  8. [8]

    Zelevinsky, A. V. , title =. Annales scientifiques de l'\'Ecole Normale Sup\'erieure , pages =. 1980 , publisher =. doi:10.24033/asens.1379 , mrnumber =

    doi:10.24033/asens.1379 1980

Show all 100 references
  1. [9]

    Isogenies of

    Reeder, Mark , journal =. Isogenies of. 2002 , publisher =. doi:10.1090/S1088-4165-02-00167-X , url =

    2002 doi

  2. [10]

    Differential Equations Invariant Under Finite Reflection Groups , urldate =

    Robert Steinberg , journal =. Differential Equations Invariant Under Finite Reflection Groups , urldate =

  3. [11]

    Solleveld, Maarten , year=. Affine. Indagationes Mathematicae , publisher=. doi:10.1016/j.indag.2021.01.005 , number=

    2021 doi

  4. [12]

    Irreducibility of principal series representations for

    Kato,. Irreducibility of principal series representations for. J. Fac. Sci. Univ. Tokyo Sect. IA Math , volume=

  5. [13]

    Continuous cohomology, discrete subgroups, and representations of reductive groups , keywords =

    Continuous cohomology, discrete subgroups, and representations of reductive groups , publisher =. Continuous cohomology, discrete subgroups, and representations of reductive groups , keywords =. 2000 , author =

    2000

  6. [14]

    Opdam , year=

    Eric M. Opdam , year=. On the spectral decomposition of affine. math/0101007 , archivePrefix=

    arXiv

  7. [15]

    On the classification of irreducible representations of affine

    Maarten Solleveld , journal=. On the classification of irreducible representations of affine. 2010 , volume=

    2010

  8. [16]

    Milne, J. S. , year=. Algebraic Groups: The Theory of Group Schemes of Finite Type over a Field , publisher=

  9. [17]

    Pacific Journal of Mathematics , year=

    On principal series representations of quasi-split reductive p-adic groups , author=. Pacific Journal of Mathematics , year=

  10. [18]

    Duke Mathematical Journal , doi =

    Evens, Sam and Mirkovi\'c, Ivan , year =. Duke Mathematical Journal , doi =

  11. [19]

    2015 , eprint=

    Contragredient representations and characterizing the local Langlands correspondence , author=. 2015 , eprint=

    2015

  12. [20]

    The real Chevalley involution , volume=

    Adams, Jeffrey , year=. The real Chevalley involution , volume=. Compositio Mathematica , publisher=. doi:10.1112/s0010437x14007374 , number=

    doi

  13. [21]

    2008 , eprint=

    Unitarizable minimal principal series of reductive groups , author=. 2008 , eprint=

    2008

  14. [22]

    1985 , issn =

    A hermitian Morita theorem for algebras with anti-structure , journal =. 1985 , issn =. doi:https://doi.org/10.1016/0021-8693(85)90184-X , url =

    1985 doi

  15. [23]

    International Mathematics Research Notices , volume =

    Chriss, Neil and Khuri-Makdisi, Kamal , title =. International Mathematics Research Notices , volume =. 1998 , month =. doi:10.1155/S1073792898000087 , url =

    1998 doi

  16. [24]

    Types and unitary representations of reductive p-adic groups , volume =

    Ciubotaru, Dan , year =. Types and unitary representations of reductive p-adic groups , volume =. Inventiones mathematicae , doi =

  17. [25]

    A unitary criterion for p-adic groups

    Barbasch, Dan and Moy, Allen , journal =. A unitary criterion for p-adic groups. , url =

  18. [26]

    Journal of the London Mathematical Society , author=

    REPRESENTATIONS OF REDUCTIVE p-ADIC GROUPS: LOCALIZATION OF. Journal of the London Mathematical Society , author=. 2001 , pages=. doi:10.1017/S0024610701001880 , number=

    2001 doi

  19. [27]

    Casselman, William , title =

  20. [28]

    Haines and Robert E

    Thomas J. Haines and Robert E. Kottwitz and Amritanshu Prasad , year=. Iwahori-. math/0309168 , archivePrefix=

    arXiv

  21. [29]

    Dan Ciubotaru , howpublished=

  22. [30]

    New Developments in Representation Theory of p-adic Groups , series =

    Dan Ciubotaru , year=. New Developments in Representation Theory of p-adic Groups , series =

  23. [31]

    Dan Barbasch and Dan Ciubotaru , year=

  24. [32]

    1992 , publisher=

    Algebraic Geometry: A First Course , author=. 1992 , publisher=

    1992

  25. [33]

    1965 , volume=

    Nagayoshi Iwahori and Hideya Matsumoto , journal=. 1965 , volume=

    1965

  26. [34]

    Dan Barbasch and Allen Moy , journal =

  27. [35]

    REPRESENTATION THEORY An Electronic Journal of the American Mathematical Society Volume , doi =

    Kriloff, Cathy and Ram, Arun , year =. REPRESENTATION THEORY An Electronic Journal of the American Mathematical Society Volume , doi =

  28. [36]

    Journal of the Mathematical Society of Japan , number =

    Akihiko Gyoja and Katsuhiro Uno , title =. Journal of the Mathematical Society of Japan , number =. 1989 , doi =

    1989

  29. [37]

    Humphreys, James E. , year=. Reflection Groups and Coxeter Groups , publisher=

  30. [38]

    Goodearl, K. R. and Warfield, Jr, R. B. , year=. An Introduction to Noncommutative Noetherian Rings , publisher=

  31. [39]

    Opdam , title =

    Eric M. Opdam , title =. Acta Mathematica , number =. 1995 , doi =

    1995

  32. [40]

    Types and explicit Plancherel formulae for reductive p-adic groups , volume =

    Bushnell, Colin and Henniart, Guy and Kutzko, Phil , year =. Types and explicit Plancherel formulae for reductive p-adic groups , volume =

  33. [41]

    1312.3316 , archivePrefix=

    Dan Barbasch and Dan Ciubotaru , year=. 1312.3316 , archivePrefix=

    arXiv

  34. [42]

    and Pfeiffer, G

    Geck, M. and Pfeiffer, G. , isbn=. Characters of Finite Coxeter Groups and Iwahori-. 2000 , publisher=

    2000

  35. [43]

    2309.04829 , archivePrefix=

    Eric Opdam and Maarten Solleveld , year=. 2309.04829 , archivePrefix=

    arXiv

  36. [44]

    1504.04361 , archivePrefix=

    Dan Barbasch and Dan Ciubotaru , year=. 1504.04361 , archivePrefix=

    arXiv

  37. [45]

    Unitary representations of topological groups , author =

  38. [46]

    Smooth Representations of Reductive p-adic Groups

    Kutzko, Philip C. Smooth Representations of Reductive p-adic Groups. Geometry and Representation Theory of Real and p-adic groups. 1998. doi:10.1007/978-1-4612-4162-1_10

    1998 doi

  39. [47]

    2009 , booktitle =

    The Bernstein decomposition and the Bernstein centre , author=. 2009 , booktitle =

    2009

  40. [48]

    2009 , publisher=

    Ottawa Lectures on Admissible Representations of Reductive P-adic Groups , author=. 2009 , publisher=

    2009

  41. [49]

    1989 , volume=

    George Lusztig , journal=. 1989 , volume=

    1989

  42. [50]

    1975 , publisher=

    Linear Algebraic Groups , author=. 1975 , publisher=

    1975

  43. [51]

    Draft of: representations of p-adic groups , author =

  44. [52]

    Renard, D. , isbn=. Repr. 2010 , publisher=

    2010

  45. [53]

    2006 , publisher=

    The Local Langlands Conjecture for GL(2) , author=. 2006 , publisher=

    2006

  46. [54]

    2017 , eprint=

    Unitary representations of real reductive groups , author=. 2017 , eprint=

    2017

  47. [55]

    The unitary dual for complex classical Lie groups

    Barbasch, Dan , journal =. The unitary dual for complex classical Lie groups. , url =

  48. [56]

    The Manin constant in the semistable case , volume=

    K. The Manin constant in the semistable case , volume=. Compositio Mathematica , publisher=. 2018 , pages=. doi:10.1112/S0010437X18007273 , number=

    2018 doi

  49. [57]

    Mathematische Zeitschrift , year=

    Mock heegner points and congruent numbers , author=. Mathematische Zeitschrift , year=

  50. [58]

    Diophantische Analysis und Modulfunktionen

    Heegner, Kurt , journal =. Diophantische Analysis und Modulfunktionen. , url =

  51. [59]

    Nagoya Mathematical Journal , number =

    Shinji Niwa , title =. Nagoya Mathematical Journal , number =

  52. [60]

    1977 , booktitle =

    Dimensions des espaces de formes modulaires , author=. 1977 , booktitle =

    1977

  53. [61]

    and Kuyk, Willem

    Birch, Bryan J. and Kuyk, Willem. Table 3. Modular Functions of One Variable IV. 1975

    1975

  54. [62]

    1977 , booktitle =

    Modular forms of weight 1/2 , author=. 1977 , booktitle =

    1977

  55. [63]

    Journal de Math

    Sur les coefficients de Fourier des formes modulaires de poids demi-entier , author=. Journal de Math. 1981 , volume=

    1981

  56. [64]

    1969 , type =

    Ogg, Andrew , title =. 1969 , type =

    1969

  57. [65]

    2020 , publisher=

    Elliptic Curves , author=. 2020 , publisher=

    2020

  58. [66]

    Endomorphism rings of elliptic curves over finite fields , author=

  59. [67]

    Stein , title =

    Amod Agashe and Kenneth Ribet and William A. Stein , title =. Pure and Applied Mathematics Quarterly , volume =. 2006 , pages =. doi:10.4310/PAMQ.2006.v2.n2.a11 , issn =

    2006 doi

  60. [68]

    Tunnell, J. B. , Da =. A classical Diophantine problem and modular forms of weight 3/2 , Ty =. Inventiones mathematicae , Number =. 1983 , Bdsk-Url-1 =. doi:10.1007/BF01389327 , Id =

    1983 doi

  61. [69]

    1997 , edition =

    Algorithms for modular elliptic curves , author=. 1997 , edition =

    1997

  62. [70]

    Kevin Buzzard , title =

  63. [71]

    Mathematics of Computation , year=

    Introduction to the Arithmetic Theory of Automorphic Functions , author=. Mathematics of Computation , year=

  64. [72]

    and Goldfeld, D

    Mazur, B. and Goldfeld, D. , Da =. Rational isogenies of prime degree , Ty =. Inventiones mathematicae , Number =. 1978 , Bdsk-Url-1 =. doi:10.1007/BF01390348 , Id =

    1978 doi

  65. [73]

    2005 , publisher=

    A First Course in Modular Forms , author=. 2005 , publisher=

    2005

  66. [74]

    and Wiles, A

    Coates, J. and Wiles, A. , Da =. Inventiones mathematicae , Number =. 1977 , Bdsk-Url-1 =. doi:10.1007/BF01402975 , Id =

    1977 doi

  67. [75]

    On Modular Forms of Half Integral Weight , urldate =

    Goro Shimura , journal =. On Modular Forms of Half Integral Weight , urldate =

  68. [76]

    2012 , title =

    Koblitz, Neal , keywords =. 2012 , title =

    2012

  69. [77]

    , keywords =

    Silverman, Joseph H. , keywords =. 1986 , title =

    1986

  70. [78]

    Cassels, J. W. S. , keywords =. 1991 , title =

    1991

  71. [79]

    Georges Ifrah , title =

  72. [80]

    Hardy, G. H. and Wright, E. M. , edition =

  73. [81]

    Coates , journal =

    John H. Coates , journal =. Congruent numbers , urldate =

  74. [82]

    Mordell, L. J. , journal =. On the Rational Solutions of the Indeterminate Equations of the Third and Fourth Degrees , year =

  75. [83]

    An Unsolvable Problem in Number Theory , urldate =

    Hilary Putnam , journal =. An Unsolvable Problem in Number Theory , urldate =

  76. [84]

    2007 , howpublished = "

    The Congruent Number Problem , author=. 2007 , howpublished = "

    2007

  77. [85]

    L-Functions , author=

  78. [86]

    Jan-Willem Klop , title =

  79. [87]

    Jean-Yves Girard and Yves Lafont and Paul Taylor , title =

  80. [88]

    H. B. Curry and R. Feys , title =. 1958 , pages =

    1958

  81. [89]

    An Investigation of Compact and Efficient Number Representations in the Pure Lambda Calculus , booktitle =

    Torben. An Investigation of Compact and Efficient Number Representations in the Pure Lambda Calculus , booktitle =. 2001 , crossref =

    2001

  82. [90]

    2001 , isbn =

    Perspectives of System Informatics, 4th International Andrei Ershov Memorial Conference,. 2001 , isbn =

    2001

  83. [91]

    Constant Time Reductions in Lambda-Calculus , booktitle =

    Michel Parigot and Paul Rozi. Constant Time Reductions in Lambda-Calculus , booktitle =. 1993 , editor =

    1993

  84. [92]

    Chris Hankin , title =

  85. [93]

    Notre Dame Journal of Formal Logic , year =

    Benedetto Intrigila , title =. Notre Dame Journal of Formal Logic , year =

  86. [94]

    Barendregt , title =

    Henk P. Barendregt , title =

  87. [95]

    Adrien Rezus , title =

  88. [96]

    Wadsworth , title =

    Christopher P. Wadsworth , title =. To H. B. Curry: Essays on Combinatory Logic, Lambda Calculus and Formalism , editor =

  89. [97]

    Alonzo Church , title =

  90. [98]

    2009 , series =

    Maribel Fernandez , title =. 2009 , series =

    2009

  91. [99]

    H. B. Curry and R. Feys , title =

  92. [100]

    American Journal of Mathematics , year =

    Alonzo Church , title =. American Journal of Mathematics , year =

Pith tools

Reviewed July 14, 2026 · model on record in the stance chip above.