Martı́n Hötzel Escardó
- Bar Recursion and Products of Selection Functions
2014/07/25 by Martı́n Hötzel Escardó, Martin Escardo, Escardo, Martin +2 · 1 citation
Computer Science · Mathematics · #03F10 #03F25 #03F35 #Computability, Logic, AI Algorithms #F.4.1 #FOS: Computer and information sciences #FOS: Mathematics #Formal Methods in Verification #Logic (math.LO) #Logic in Computer Science (cs.LO) #Logic, programming, and type systems #acm:03F10 #acm:03F25 #acm:03F35 #cs.LO #math.LO #msc:03F10 #msc:03F25 #msc:03F35