Technology Strict intersection types for the lambda calculus

1.Strict Intersection Types for the Lambda Calculus STEFFEN VAN BAKEL, Imperial College LondonThis article will show the usefulness and elegance of strict intersection types…