Search

Search Funnelback University

Search powered by Funnelback
10 results 20 results 50 results
Relevance Date (Newest first) Date (Oldest first) Title (A-Z) Title (Z-A) Distance URL (A-Z) URL (Z-A) Shuffle
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.

  1. Results that match 1 of 2 words

  2. premon.dvi

    https://www.dpmms.cam.ac.uk/~martin/Research/Publications/2002/bh02.pdf
    26 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.

  3. premonita.dvi

    https://www.dpmms.cam.ac.uk/~martin/Research/Publications/2003/bh03.pdf
    21 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.

Refine your results

clear all

Date

Search history

Recently clicked results

Recently clicked results

Your click history is empty.

Recent searches

Recent searches

Your search history is empty.