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
11 - 20 of 30 search results for `over B B` |u:www.dpmms.cam.ac.uk

  1. Fully-matching results

  2. IA Probability Examples Sheet 3, Lent 2008 W. T. ...

    https://www.dpmms.cam.ac.uk/study/IA/Probability/2007-2008/probex.2008.3.pdf
    26 Feb 2008: a) When the culture has been going for just over n minutes, what is the probabilitythat no white cells have yet appeared? ... b) What is the probability that the entire culture eventually dies out?

  3. The S-replete construction J.M.E. Hyland M.Hyland@pmms.cam.ac.uk…

    https://www.dpmms.cam.ac.uk/~jmeh1/Research/Pub91-00/hm95.pdf
    21 Aug 2008: Example 1.13 Given an extensive cartesian closed category D with small products and sums, anda proper factorization system (E, M) over D s.t. ... Let P Cat(B) be the full and internally complete category of -closed partial equivalencerelations over N. =

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

    https://www.dpmms.cam.ac.uk/~jmeh1/Research/Oldpapers/ho93.pdf
    21 Aug 2008: 26]. We let ;. i. 4. range over -redexes. Let (x:A)B. ... P. m. (U) over a right-absorptive c-pca U. Let I be a set, for any A; B 2 Prf(U).

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

    https://www.dpmms.cam.ac.uk/~jmeh1/Research/Pub91-00/ho93.pdf
    21 Aug 2008: 26]. We let ;. i. 4. range over -redexes. Let (x:A)B. ... P. m. (U) over a right-absorptive c-pca U. Let I be a set, for any A; B 2 Prf(U).

  6. Michaelmas Term 2008 T.A. Fisher Linear Algebra: Example Sheet ...

    https://www.dpmms.cam.ac.uk/study/IB/LinearAlgebra/2008-2009/lin_alg-08-1.pdf
    16 Oct 2008: 15. Let Matm,n(F ) be the space of m by n matrices over a field F. ... Let V be a vector space of dimensionn over Fp. How many vectors are there in V?

  7. Groups, Rings and Modules(example sheet 4) NIS-B, Lent 2008 ...

    https://www.dpmms.cam.ac.uk/study/IB/GroupsRings%2BModules/2007-2008/grm_ex5_latex.pdf
    6 Mar 2008: Assume that B is integral over A; thatis, every element x of B is is a zero of a monic polynomial in A[X].(i) Suppose that A, B are domains ... Show that the set C ofelements x B that are integral over A is a subring of B.

  8. TRANSACTIONS OF THEAMERICAN MATHEMATICAL SOCIETYVolume 00, Number 0,…

    https://www.dpmms.cam.ac.uk/~taf1000/papers/pfaffians.pdf
    16 Jul 2008: 1. Introduction. We work over an algebraically closed field k of arbitrary characteristic. ... It sufficesto note that there are no 4 3 matrices B over k for which.

  9. Pi-Calculus, Dialogue Games and PCF�J. M. E. Hylandy C.-H. ...

    https://www.dpmms.cam.ac.uk/~jmeh1/Research/Oldpapers/ho95.pdf
    21 Aug 2008: pcf-types,ranged over by A;Ai;B, etc., are dened by the followinggrammar in bnf:A ::= j o j A ) A:Every pcf-type A has a unique representation of ... We presuppose an innite collection of names whichare ranged over by symbols such as x;x0;xi;f, a;b; u;v,

  10. Abstra t Games for Linear Logi Extended Abstra t ...

    https://www.dpmms.cam.ac.uk/~jmeh1/Research/Oldpapers/hs99.pdf
    22 Aug 2008: A on rete des ription is as follows: On obje ts, W(A) is the set of nite multisets over A. ... Take : A - B and : B - C in Gam and let t be a sequen eof moves over A, B, and C with tjA;B 2 , tjB;C 2 so that

  11. Abstra t Games for Linear Logi Extended Abstra t ...

    https://www.dpmms.cam.ac.uk/~jmeh1/Research/Pub91-00/hs99.pdf
    22 Aug 2008: A on rete des ription is as follows: On obje ts, W(A) is the set of nite multisets over A. ... Take : A - B and : B - C in Gam and let t be a sequen eof moves over A, B, and C with tjA;B 2 , tjB;C 2 so that

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.