Difference between revisions of "Curry-Howard isomorphism"

Latest revision as of 04:19, 8 June 2023

Redirect to:

Revision as of 05:44, 5 November 2006 (view source) Uchchwhash (talk \| contribs) (Curry-Howard isomorphism moved to Curry-Howard-Lambek correspondence: wikipedia covers Curry-Howard quite well. Haskell takes category theory more seriously.)		Latest revision as of 04:19, 8 June 2023 (view source) Atravers (talk \| contribs) m
Line 1:		Line 1:
	#redirect [[Curry-Howard-Lambek correspondence]]		#redirect [[Curry-Howard-Lambek correspondence]]
		+
		+	[[Category: Pages to be removed]]