Difference between revisions of "Curry-Howard correspondence"

Revision as of 07:56, 4 February 2022

Revision as of 03:36, 4 February 2022 (view source) Benkoo (talk \| contribs) (Created page with "{{WikiEntry\|key=Curry-Howard correspondence\|qCode=975734}}")		Revision as of 07:56, 4 February 2022 (view source) Benkoo (talk \| contribs) Newer edit →
Line 1:		Line 1:
	{{WikiEntry\|key=Curry-Howard correspondence\|qCode=975734}}		{{WikiEntry\|key=Curry-Howard correspondence\|qCode=975734}}

			[[Category:Meta Mathematics]]