Counting a Type's (Principal) Inhabitants
BrodaSabine, DamasLuís · Fundamenta Informaticae · 2001
We present a Counting Algorithm that computes the number of -terms in -normal form that have a given type as a principal type and produces a list of these terms. The design of the algorithm follows...