Henk Barendregt developed the lambda cube as a means of classifying type systems along three axes.
Ο Henk Barendregt επινόησε τον λάμδα κύβο σαν ένα μέσο κατηγοριοποίησης των συστημάτων τύπων πάνω σε 3 άξονες.