31 citations · 38 across the 7 of their papers we have counts for
1 paper · 1 filter
Norman Danner, James S. Royer
This paper investigates what is essentially a call-by-value version of PCF under a complexity-theoretically motivated type system. The programming formalism, ATR, has its first-ord…