A Call-by-Need Lambda Calculus
Author: Nicholas Coltharp
Created: 2026-04-17 Fri 00:01
Validate