द्वारा कार्यक्रम slc.sf.net

प्रतीकात्मक लैम्ब्डा कैलकुलस लैम्ब्डा पथरी और संयोजन तर्क पर आधारित एक तार्किक औपचारिकता है, जिसमें केवल एक प्रकार की वस्तुएं हैं, जो या तो शब्दों या समानताओं का प्रतिनिधित्व कर सकती हैं। यह डी ब्रुइजेन और लैम्ब्डा कैलकुलस नो