International Conference on Typed Lambda Calculi and Applications (conference)

User Publication Person Organisation Collection