30 citations · 87 across the 9 of their papers we have counts for
Showing 2012Show all
2 papers · 1 filter
cs.LO2012
A call-by-value lambda-calculus with lists and control
Robbert Krebbers
Calculi with control operators have been studied to reason about control in programming languages and to interpret the computational content of classical proofs. To make these calc…
cs.LO2012★ 4 cited
The lambda-mu-T-calculus
Herman Geuvers, Robbert Krebbers, James McKinna
Calculi with control operators have been studied as extensions of simple type theory. Real programming languages contain datatypes, so to really understand control operators, one s…