Förklara syntaxen och semantiken i lambda-kalkyl. Diskutera begreppen abstraktion, applikation och beta-reduktion. Hur kan enkla beräkningar och numeriska värden representeras enbart med hjälp av funktioner (t.ex. Church-kodning)?