The Wikipedia article https://en.m.wikipedia.org/wiki/Lambda_cube is difficult to assimilate. I think examples (code snippets) that demonstrate each refinement might help clarify. For instance, a generic List in C# would demonstrate types based on types (I think). What are examples of the other axes? Are there meaningful yet succinct examples of combinations of multiple refinements, say the whole "calculus of constructions" in one snippet?

  • 1
    $\begingroup$ Is this what you're looking for? This may also be of interest. $\endgroup$ – Gilles 'SO- stop being evil' Sep 14 '16 at 0:06
  • $\begingroup$ I'll add my own attempt to answer this question. $\endgroup$ – cody Sep 14 '16 at 17:49

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Browse other questions tagged or ask your own question.