ইন্টারেক্টেশন কম্বিনেটরগুলির পূর্বে calc-ক্যালকুলাসের জন্য একটি সংকলন লক্ষ্য হিসাবে প্রস্তাব করা হয়েছিল। সেই কাগজটি সম্পূর্ণ calc-ক্যালকুলাস প্রয়োগ করে। এটি আরও জানা যায় যে EAL- টাইপযোগ্য λ-পদগুলির সাবসেটের জন্য λ- ক্যালকুলাসের ইন্টারঅ্যাকশন-নেট এনকোডিংগুলি অনুকূল করা সম্ভব । সেই কাগজটি EAL- টাইপযোগ্য λ-পদার্থকে ইন্টারঅ্যাকশন জালগুলিতে অনুবাদ করে λ-ক্যালকুলাসের উপসেটটি প্রয়োগ করে যা মিথস্ক্রিয়া সংযোগকারীদের চেয়ে যুক্তিযুক্তভাবে আরও জটিল, কারণ তারা গ্রুপ নকলকারীগুলিতে লেবেলের একটি অসীম বর্ণমালা ব্যবহার করে।
আমি উভয় প্রস্তাব একত্রিত করা সম্ভব কিনা তা অবাক। এটি হল, বিমূর্ত অ্যালগরিদমের জন্য কোনও এনকোডিং রয়েছে - যা AL-পদগুলি যা EAL- টাইপযোগ্য - ইন্টারঅ্যাকশন সংযোজক হিসাবে?