47 citations · 48 across the 3 of their papers we have counts for
1 paper · 1 filter
Klaus Aehlig, Jan Johannsen
A fragment of second-order lambda calculus (System F) is defined that characterizes the elementary recursive functions. Type quantification is restricted to be non-interleaved and…