searching for Type generalization 2 found (3 total)
alternate case: type generalization
exact match in snippet
find links to article
A Kantorovich -type generalization is sometimes discussed in the literature. These generalizations are also called the Szász–Mirakjan– ...Lambda-mu calculus (505 words) [view diff] no match in snippet view article find links to article
Classical pure type systems for typed generalizations of lambda calculi with control. References: 1 External links : http://lambda-the-ultimate. ...