Lambda-Calculus

نظرية الأنماط وتماثل كاري-هاوارد: التناغم العميق بين القضايا كالأنماط والبراهين كالبرامج