Propositions as Types [PDF] | Hacker News

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

		Propositions as Types [PDF] (ed.ac.uk)
		1 point by bronxbomber92 on March 7, 2014 \| hide \| past \| favorite

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