Zena M. Ariola
- Classical (Co)Recursion: Programming
2021/03/11 by Paul Downen, Downen, Paul, Zena M. Ariola +1 · 1 voice
Computer Science · #Formal Methods in Verification #Logic, programming, and type systems #Parallel Computing and Optimization Techniques #cs.PL