Dexter Kozen

Dexter Campbell Kozen (born December 20, 1951) is an American theoretical computer scientist. He is Professor Emeritus and Joseph Newton Pew, Jr. Professor in Engineering at Cornell University. Provided by Wikipedia
Showing 1 - 5 results of 5 for search 'Dexter Kozen', query time: 0.02s Refine Results
  1. 1
    Natural Transformations as Rewrite Rules and Monad Composition

    Natural Transformations as Rewrite Rules and Monad Composition by Dexter Kozen

    Published 2019-01-01
    Get full text
    Article
  2. 2
    Coinductive Proof Principles for Stochastic Processes

    Coinductive Proof Principles for Stochastic Processes by Dexter Kozen

    Published 2007-11-01
    Get full text
    Article
  3. 3
    Applications of Metric Coinduction

    Applications of Metric Coinduction by Dexter Kozen, Nicholas Ruozzi

    Published 2009-09-01
    Get full text
    Article
  4. 4
    On Free $\omega$-Continuous and Regular Ordered Algebras

    On Free $\omega$-Continuous and Regular Ordered Algebras by Zoltan Esik, Dexter Kozen

    Published 2019-10-01
    Get full text
    Article
  5. 5
    Infinitary Axiomatization of the Equational Theory of Context-Free Languages

    Infinitary Axiomatization of the Equational Theory of Context-Free Languages by Niels Bjørn Bugge Grathwohl, Fritz Henglein, Dexter Kozen

    Published 2013-08-01
    Get full text
    Article

Search Tools: