Search
Search Funnelback University
- Refined by:
- Date: 2008
1 -
5 of
5
search results for KA :ZA31 |u:www.dpmms.cam.ac.uk
where 0
match all words and 5
match some words.
Results that match 1 of 2 words
-
� ������� �� � ����� � ����� � ��������� ...
https://www.dpmms.cam.ac.uk/study/IB/GroupsRings%2BModules/2007-2008/grm_ex3_latex.pdf6 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 -
Electronic Notes in Theoretical Computer Science 83 (2004)URL:…
https://www.dpmms.cam.ac.uk/~jmeh1/Research/Publications/2003/chp03.pdf19 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? -
Pseudo-commutative monads and pseudo-closed 2-categories⋆ ⋆⋆ Martin…
https://www.dpmms.cam.ac.uk/~jmeh1/Research/Publications/2002/hp02.pdf29 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. -
Modi�ed Realizability Toposes and Strong Normalization Proofs…
https://www.dpmms.cam.ac.uk/~jmeh1/Research/Oldpapers/ho93.pdf21 Aug 2008: 1. ): ka#. and. (S. 2. ) 9a 2 U:fa(ga)# =) sfg#:. -
Modi�ed Realizability Toposes and Strong Normalization Proofs…
https://www.dpmms.cam.ac.uk/~jmeh1/Research/Pub91-00/ho93.pdf21 Aug 2008: 1. ): ka#. and. (S. 2. ) 9a 2 U:fa(ga)# =) sfg#:.
Search history
Recently clicked results
Recently clicked results
Your click history is empty.
Recent searches
- `Richard Watson` |u:www.joh.cam.ac.uk (12) · moments ago
Recent searches
Your search history is empty.