Find link

Find link is a tool written by Edward Betts.

searching for Type generalization 2 found (3 total)

alternate case: type generalization

Szász–Mirakyan operator (714 words) [view diff] exact match in snippet view article 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. ...