Applying Universal Algebra to Lambda Calculus | UPT Perpustakaan UHAMKA