Lambda Calculus with Omega (PDF)

Some basic things and their equivalence in Omega.