Search Results - Seely, R.A.G.

  • Showing 1 - 5 results of 5
Refine Results
  1. 1
    Weakly distributive categories

    Weakly distributive categories by Cockett, J.R.B., Seely, R.A.G.

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  2. 2
    Linearly distributive functors

    Linearly distributive functors by Cockett, J.R.B., Seely, R.A.G.

    Get full text
    Items that cite this one
    Article
    Save to List
    Saved in:
  3. 3
    Natural deduction and coherence for weakly distributive categories

    Natural deduction and coherence for weakly distributive categories by Blute, R.F., Cockett, J.R.B., Seely, R.A.G., Trimble, T.H.

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  4. 4
    Feedback for linearly distributive categories: traces and fixpoints

    Feedback for linearly distributive categories: traces and fixpoints by Blute, R.F., Cockett, J.R.B., Seely, R.A.G.

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  5. 5
    Categories for computation in context and unified logic

    Categories for computation in context and unified logic by Blute, R.F., Cockett, J.R.B., Seely, R.A.G.

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:

Search Tools: