Alpha-conversion

From PKC
Revision as of 02:13, 19 January 2022 by Benkoo (talk | contribs)
Jump to navigation Jump to search

conversion is also a kind of naming abstraction.