Author: International Conference on Typed Lambda Calculi and Applications (2nd 1995 Edinburgh, Scotland)