$\def\infer#1#2{\frac{\matrix{#1}}{#2}}$
Xavier Pinho
Reynolds' relation-preserving operator on functions
July 2020
Extensional conversions ζ and η between λ-terms
December 2013
Discrete logarithm: Silver-Pohlig-Hellman algorithm
December 2012