¶Reading log
2024-03-23
Added [Kashima2000] and [Sestini2018] while looking at reduction strategies for λ calculus and for a concatenative calculus.
[Kashima2000] A Proof of the Standardization Theorem in λ-Calculus
[Sestini2018] Normalization by Evaluation for Typed Weak λ-Reduction