van Oosten, Jaap
- Partial Combinatory Algebras of Functions
2009/05/16 by Jaap van Oosten, van Oosten, Jaap · 1 citation
Computer Science · Mathematics · #03B40 #68N18 #Advanced Algebra and Logic #Computability, Logic, AI Algorithms #FOS: Mathematics #Logic (math.LO) #Logic, programming, and type systems #math.LO #msc:03B40 #msc:68N18