Search Results - Blute, R.F.

  • Showing 1 - 5 results of 5
Refine Results
  1. 1
    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:
  2. 2
    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:
  3. 3
    Linear Läuchli semantics

    Linear Läuchli semantics by Blute, R.F., Scott, P.J.

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  4. 4
    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:
  5. 5
    A Noncommutative Full Completeness Theorem: (Extended Abstract)

    A Noncommutative Full Completeness Theorem: (Extended Abstract) by Blute, R.F., Scott, P.J.

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

Search Tools: