Difference between revisions of "Alpha-conversion"

Revision as of 02:13, 19 January 2022

$\mathrm {A}$ conversion is also a kind of naming abstraction.

Revision as of 02:13, 19 January 2022 (view source) Benkoo (talk \| contribs) ← Older edit		Revision as of 02:13, 19 January 2022 (view source) Benkoo (talk \| contribs) Newer edit →
Line 1:		Line 1:
	<math>\~~alpha~~</math> conversion is also a kind of naming abstraction.		<math>\Alpha</math> conversion is also a kind of naming abstraction.