Search
Search Funnelback University
- Refined by:
- Date: 2003
1 -
2 of
2
search results for KaKaoTalk:po03 op |u:www.dpmms.cam.ac.uk
where 0
match all words and 2
match some words.
Results that match 1 of 2 words
-
premonita.dvi
https://www.dpmms.cam.ac.uk/~martin/Research/Publications/2003/bh03.pdf21 Aug 2003: Proof. Assume we have a premonoidal Conway operator (). The Conway op-erator obtained from the trace obtained from () maps f : A U U to(〈π1, π3〉; f ; ); π1. -
premon.dvi
https://www.dpmms.cam.ac.uk/~martin/Research/Publications/2002/bh02.pdf26 Jun 2003: Although thepresence of a fixpoint object [7], for example, allows an op-erator with the same type as mfix to be defined, it is not ofthe kind we want. ... and Conway op-erators, which is what motivated our parallel and witheringaxioms.
Search history
Recently clicked results
Recently clicked results
Your click history is empty.
Recent searches
Recent searches
Your search history is empty.