21 citations · 116 across the 21 of their papers we have counts for
Showing 2012Show all
2 papers · 1 filter
cs.LO2012★ 20 cited
Proceedings Fourth Workshop on Classical Logic and Computation
Herman Geuvers, Ugo de'Liguoro
CL&C'12 was the fourth of a conference series on "Classical Logic and Computation", held as satellite to ICALP'12 on Sunday July 8, 2012 in Warwick, England. CL&C intends to cover…
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…