Samson Abramsky · 3 obras en el catálogoObrasCategory Theory and Computer ProgrammingTTapsoft '91: Proceedings of the International Joint ConferenTapsoft '91: Proceedings of the International Joint Conference on Theory and Practice of Software Development Brighton, Uk, April 8-12, 1991Typed Lambda Calculi and Applications
TTapsoft '91: Proceedings of the International Joint ConferenTapsoft '91: Proceedings of the International Joint Conference on Theory and Practice of Software Development Brighton, Uk, April 8-12, 1991
