💾 Archived View for dcreager.net › 2024 › 03 › 23-reading-log.gmi captured on 2024-05-10 at 10:37:53. Gemini links have been rewritten to link to archived content
-=-=-=-=-=-=-
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