-- Leo's gemini proxy
-- Connecting to dcreager.net:1965...
-- Connected
-- Sending request
-- Meta line: 20 text/gemini;lang=en
> 2024-03-23
Added [Kashima2000] and [Sestini2018] while looking at reduction strategies for λ calculus and for a concatenative calculus.
-- Response ended
-- Page fetched on Mon May 13 05:21:10 2024