💾 Archived View for dcreager.net › 2024 › 03 › 23-reading-log.gmi captured on 2024-08-25 at 00:23:26. 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