हम में से अधिकांश लोग कॉम्बिनेटर लॉजिक और लैम्ब्डा कैलकुलस के बीच पत्राचार को जानते हैं । लेकिन मैंने कभी नहीं देखा (शायद मैंने बहुत गहरा नहीं देखा है) "टाइप किए गए कॉम्बिनेटर" के बराबर, बस टाइप किए गए लैम्ब्डा कैलकुलस के अनुरूप। क्या ऐसी चीज मौजूद है? इसके बारे में जानकारी कहां से मिल सकती है?
आपको द मोनाड में रीडर मोनाड और एब्स्ट्रक्शन एलिमिनेशन में दिलचस्पी हो सकती है । रीडर मोनाड (या इसके अधिक सटीक रूप से इसके एपेक्टिव फ़ंक्टर) टाइप किए गए SKI से निकटता से संबंधित है।
—
पेट्र पुडलक