Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
New page displayed category.
Added a reference to double profunctor
Tidied up the reference list, and added the following reference:
It would be great if we could trace the exact statement which uses lax functors into Span any earlier than the paper by Pavlović and Abramsky in 1997.
1 to 11 of 11