The oracle-free fragment of Lamping's algorithm can evaluate all λ-terms | Hacker News

Hacker News new | past | comments | ask | show | jobs | submit

login

		The oracle-free fragment of Lamping's algorithm can evaluate all λ-terms (github.com/maiavictor)
		6 points by LightMachine on July 30, 2017 \| hide \| past \| favorite

Consider applying for YC's Summer 2025 batch! Applications are open till May 13
Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact