16 citations · 24 across the 9 of their papers we have counts for
1 paper · 1 filter
Sergei Stepanenko, Patrick Bahr, Rasmus Ejlers Møgelberg
Extending the recursion principles of a formal system is an enticing but dangerous endeavour with a well-documented history of leading to consistency bugs. Nakano's guarded recursi…