Dexter Kozen
AuthID: R-00H-479
1
TITLE: Multisets and Distributions
AUTHORS: Dexter Kozen; Alexandra Silva;
PUBLISHED: 2023, SOURCE: CoRR, VOLUME: abs/2301.10812
AUTHORS: Dexter Kozen; Alexandra Silva;
PUBLISHED: 2023, SOURCE: CoRR, VOLUME: abs/2301.10812
INDEXED IN: 
DBLP
DBLP2
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
DBLP3
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
DBLP4
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
DBLP5
TITLE: Cantor meets scott: semantic foundations for probabilistic networks
AUTHORS: Steffen Smolka; Praveen Kumar; Nate Foster; Dexter Kozen; Alexandra Silva ;
PUBLISHED: 2017, SOURCE: Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, POPL 2017, Paris, France, January 18-20, 2017
AUTHORS: Steffen Smolka; Praveen Kumar; Nate Foster; Dexter Kozen; Alexandra Silva ;
PUBLISHED: 2017, SOURCE: Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, POPL 2017, Paris, France, January 18-20, 2017
INDEXED IN: DBLP
DBLP6
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
DBLP7
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 arXiv8
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
DBLP9
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
DBLP10
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
DBLP