Now showing items 96-100 of 100

    • A Theory of Interleavers 

      Andrews, Kenneth; Heegard, Chris; Kozen, Dexter (Cornell University, 1997-06)
      An interleaver is a hardware device commonly used in conjunction with error correcting codes to counteract the effect of burst errors. Interleavers are in widespread use and much is known about them from an engineering ...
    • Toward the Automation of Category Theory 

      Kozen, Dexter (Cornell University, 2004-09-08)
      We introduce a sequent system for basic category-theoretic reasoning suitable for computer implementation. We illustrate its use by giving a complete formal proof that the functor categories Fun[CxD,E] and Fun[C,Fun[D,E]] ...
    • Typed Kleene Algebra 

      Kozen, Dexter (Cornell University, 1998-03)
      In previous work we have found it necessary to argue that certain theorems of Kleene algebra hold even when the symbols are interpreted as nonsquare matrices. In this note we define and investigate typed Kleene algebra, ...
    • Typed Kleene Algebra with Products and Iteration Theories 

      Kozen, Dexter; Mamouras, Konstantinos (2013-02-22)
      We develop a typed equational system that subsumes both iteration theories and typed Kleene algebra in a common framework. Our approach is based on cartesian categories endowed with commutative strong monads to handle ...
    • Well-Founded Coalgebras, Revisited 

      Jeannin, Jean-Baptiste; Kozen, Dexter; Silva, Alexandra (2013-05-24)
      Theoretical models of recursion schemes have been well studied under the names well-founded coalgebras, recursive coalgebras, corecursive algebras, and Elgot algebras. Much of this work focuses on conditions ensuring unique ...