Submissions from github.com/cmu-hott | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit | from

		Data types as Lattices – Dana Scott [pdf] (github.com/cmu-hott)
		34 points by ozb on Aug 9, 2024 \| past \| 5 comments

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact