79 citations · 142 across the 16 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…