Title	Lambda Calculus: Beta-Redex and Alpha Conversion
Catalog Type	SLCItem
Persistent ID	https://opendsax.cs.vt.edu/OpenDSA/Exercises/PL/BetaRedex2.html
Platform Name	OpenDSA
Features	Question, Battery
Description	A collection of self-practice questions related to Beta-redexes with Alpha conversion in the Lambda Calculus.
Keywords	Lambda Calculus
Author	David Furcy, Tom Naps
Institution	UW-Oshkosh
Iframe URL	https://opendsax.cs.vt.edu/OpenDSA/Exercises/PL/BetaRedex2.html
Protocol	LTI 1.1, SPLICE
Protocol URL	https://opendsax.cs.vt.edu/lti/launch?custom_ex_short_name=BetaRedex2&custom_ex_settings=%7B%7D https://opendsax.cs.vt.edu/OpenDSA/Exercises/PL/BetaRedex2.html
License	https://github.com/OpenDSA/OpenDSA/blob/master/MIT-license.txt
Programming Language	N/A
Natural Language	en

SPLICE Output