"லாம்டா நுண்கணிதம்" பக்கத்தின் திருத்தங்களுக்கிடையேயான வேறுபாடு

'''லாம்டா நுண்கணிதம்''' (''Lambda calculus'') என்பது செயலிகளையும் ஆயும் கணிதத்துறை ஆகும். கணிதத்தில், கணினியியலில் சார்பு அல்லது செயலிகள் ஒரு அடிப்படை கூறாகும். மீள்வோட (recursive) செயலிகள் பற்றியும், எது கணிக்கப்படக் கூடியது என்பது பற்றியும், கணிதத்தின்ன்கணிதத்தின் அடித்தளங்கள் பற்றியும் ஆய லம்டா நுண்கணிதம் உதவுகிறது.