discussion with mike stay ....
"trace" of endo-profunctor ....
??relationship to stuff emilio faro talked about ??? .... ????
compact closed bicategory .....
??? "strong monad ..." .... ?????
haskell ... ???
recursively enumerable sets and computable partial functions ... ????
??? "abstract data type" .... ???? .....
?? swallowtail .... ???? .....
No comments:
Post a Comment