|
|
|
|
|
|
by jonsterling
3172 days ago
|
|
|
Not only this, but strangely it doesn't use standard methods or names in the categorical understanding of computer science. All this business about "CompFunc" as a category of sets and computable functions, but I see nothing about partial combinatory algebras or realizability. |
|
|