Venanzio Capretta · 2 obras en el catálogoObrasPProceedings of the Third ACM SIGPLAN Workshop on MathematicaProceedings of the Third ACM SIGPLAN Workshop on Mathematically Structured Functional ProgrammingLLogics and Type Systems in Theory and PracticeLogics and Type Systems in Theory and Practice
PProceedings of the Third ACM SIGPLAN Workshop on MathematicaProceedings of the Third ACM SIGPLAN Workshop on Mathematically Structured Functional Programming