Dexter Kozen
AuthID: R-00H-479
1
TITLE: Joint Distributions in Probabilistic Semantics
AUTHORS: Dexter Kozen; Alexandra Silva; Erik Voogd;
PUBLISHED: 2023, SOURCE: CoRR, VOLUME: abs/2309.06913
AUTHORS: Dexter Kozen; Alexandra Silva; Erik Voogd;
PUBLISHED: 2023, SOURCE: CoRR, VOLUME: abs/2309.06913
INDEXED IN: 
DBLP
DBLP2
TITLE: Formalizing Moessner's theorem and generalizations in Nuprl
AUTHORS: Mark Bickford; Dexter Kozen; Alexandra Silva;
PUBLISHED: 2022, SOURCE: J. Log. Algebraic Methods Program., VOLUME: 124
AUTHORS: Mark Bickford; Dexter Kozen; Alexandra Silva;
PUBLISHED: 2022, SOURCE: J. Log. Algebraic Methods Program., VOLUME: 124
INDEXED IN: DBLP
DBLP3
TITLE: Left-handed completeness
AUTHORS: Dexter Kozen; Alexandra Silva;
PUBLISHED: 2020, SOURCE: Theor. Comput. Sci., VOLUME: 807
AUTHORS: Dexter Kozen; Alexandra Silva;
PUBLISHED: 2020, SOURCE: Theor. Comput. Sci., VOLUME: 807
INDEXED IN: DBLP
DBLP4
TITLE: CoCaml: Functional Programming with Regular Coinductive Types
AUTHORS: Jean Baptiste Jeannin; Dexter Kozen; Alexandra Silva ;
PUBLISHED: 2017, SOURCE: Fundam. Inform., VOLUME: 150, ISSUE: 3-4
AUTHORS: Jean Baptiste Jeannin; Dexter Kozen; Alexandra Silva ;
PUBLISHED: 2017, SOURCE: Fundam. Inform., VOLUME: 150, ISSUE: 3-4
INDEXED IN: DBLP
DBLP5
TITLE: Deciding Probabilistic Program Equivalence in NetKAT PDF
AUTHORS: Steffen Smolka; David Kahn; Praveen Kumar; Nate Foster; Dexter Kozen; Alexandra Silva;
PUBLISHED: 2017, SOURCE: CoRR, VOLUME: abs/1707.02772
AUTHORS: Steffen Smolka; David Kahn; Praveen Kumar; Nate Foster; Dexter Kozen; Alexandra Silva;
PUBLISHED: 2017, SOURCE: CoRR, VOLUME: abs/1707.02772
INDEXED IN: DBLP 
arXiv
DBLP arXiv6
TITLE: Completeness and incompleteness in nominal Kleene algebra
AUTHORS: Dexter Kozen; Konstantinos Mamouras; Alexandra Silva;
PUBLISHED: 2017, SOURCE: J. Log. Algebr. Meth. Program., VOLUME: 91
AUTHORS: Dexter Kozen; Konstantinos Mamouras; Alexandra Silva;
PUBLISHED: 2017, SOURCE: J. Log. Algebr. Meth. Program., VOLUME: 91
INDEXED IN: DBLP
DBLP7
TITLE: Well-founded coalgebras, revisited
AUTHORS: Jean Baptiste Jeannin; Dexter Kozen; Alexandra Silva;
PUBLISHED: 2017, SOURCE: Mathematical Structures in Computer Science, VOLUME: 27, ISSUE: 7
AUTHORS: Jean Baptiste Jeannin; Dexter Kozen; Alexandra Silva;
PUBLISHED: 2017, SOURCE: Mathematical Structures in Computer Science, VOLUME: 27, ISSUE: 7
INDEXED IN: DBLP
DBLP8
TITLE: Practical coinduction
AUTHORS: Dexter Kozen; Alexandra Silva;
PUBLISHED: 2017, SOURCE: Mathematical Structures in Computer Science, VOLUME: 27, ISSUE: 7
AUTHORS: Dexter Kozen; Alexandra Silva;
PUBLISHED: 2017, SOURCE: Mathematical Structures in Computer Science, VOLUME: 27, ISSUE: 7
INDEXED IN: DBLP
DBLP9
TITLE: On Moessner's Theorem
AUTHORS: Dexter Kozen; Alexandra Silva ;
PUBLISHED: 2013, SOURCE: The American Mathematical Monthly, VOLUME: 120, ISSUE: 2
AUTHORS: Dexter Kozen; Alexandra Silva ;
PUBLISHED: 2013, SOURCE: The American Mathematical Monthly, VOLUME: 120, ISSUE: 2
