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
Did you mean apc53 |u:www.dpmms.cam.ac.uk?
1 - 5 of 5 search results for KA :PC53 |u:www.dpmms.cam.ac.uk where 0 match all words and 5 match some words.

  1. Results that match 1 of 2 words

  2. � ������� �� � ����� � ����� � ��������� ...

    https://www.dpmms.cam.ac.uk/study/IB/GroupsRings%2BModules/2007-2008/grm_ex3_latex.pdf
    6 Mar 2008: N QoKA][a@sGYbªicmFWGIyXjGIG» iyGIX2NpVWiTHjVsa>H2A{H2dYiyvH¢a>AvW]UHjVWGsGYbN?à ÌyCpá VWiTHjVsa>HuâRãä)å A]KWA{kA]jAgWbGhgzæT2VWGIvWGIcGYXFæ.A] x XjAtwGacvW.ç@è%é¡èæpFêÛmJëA]asGYbicmod¢VsacXjacdIHjGYXZA]ZHjAdKæ¡?BH_V4A]KtuG)a

  3. Electronic Notes in Theoretical Computer Science 83 (2004)URL:…

    https://www.dpmms.cam.ac.uk/~martin/Research/Publications/2003/chp03.pdf
    19 Aug 2008: for each pair (A, B) a natural transformation. C(A, B)K - D(KA, KB). ... R. HB. Hf? ᾱf KA = HA. 1? βA- KA. @@. @@. @. αB χB. R. β̄f. HB. 1? βB- KB. Kf?

  4. Pseudo-commutative monads and pseudo-closed 2-categories⋆ ⋆⋆ Martin…

    https://www.dpmms.cam.ac.uk/~martin/Research/Publications/2002/hp02.pdf
    29 Sep 2008: jA : I [A,A],– eA : [I,A] A natural in A,– kA = kA,B,C : [B,C] [[A,B], [A,C]] natural in A, B and C,. ... 1. IjB - [B,B]. [[A,B], [A,B]]. kA? j[A. ,B] -. 2.

  5. Modi�ed Realizability Toposes and Strong Normalization Proofs…

    https://www.dpmms.cam.ac.uk/~martin/Research/Oldpapers/ho93.pdf
    21 Aug 2008: 1. ): ka#. and. (S. 2. ) 9a 2 U:fa(ga)# =) sfg#:.

  6. Modi�ed Realizability Toposes and Strong Normalization Proofs…

    https://www.dpmms.cam.ac.uk/~martin/Research/Pub91-00/ho93.pdf
    21 Aug 2008: 1. ): ka#. and. (S. 2. ) 9a 2 U:fa(ga)# =) sfg#:.

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.