प्रतीकात्मक लैम्ब्डा कैलकुलस लैम्ब्डा पथरी और संयोजन तर्क पर आधारित एक तार्किक औपचारिकता है, जिसमें केवल एक प्रकार की वस्तुएं हैं, जो या तो शब्दों या समानताओं का प्रतिनिधित्व कर सकती हैं। यह डी ब्रुइजेन और लैम्ब्डा कैलकुलस नोटेशन का उपयोग करता है।
संस्करण इतिहास
- विवरण files पर तैनात 2010-05-13
कई सुधार और अपडेट - विवरण N/A पर तैनात 2010-05-13
कार्यक्रम विवरण
- कोटि: पढ़ाई > अन्य
- प्रकाशक: slc.sf.net
- लाइसेंस: मुफ्त
- मूल्य: N/A
- विवरण: Array
- मंच: linux