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