Find link

language:

jump to random article

Find link is a tool written by Edward Betts.

searching for Lambda cube 1 found (19 total)

alternate case: lambda cube

System U (733 words) [view diff] exact match in snippet view article find links to article

Sørensen, Morten Heine; Urzyczyn, Paweł (2006). "Pure type systems and the lambda cube". Lectures on the Curry–Howard isomorphism. Elsevier. doi:10.1016/S0049-237X(06)80015-7