Jean-Baptiste Jeannin, Ph.D.
Affiliations: | 2013 | Cornell University, Ithaca, NY, United States |
Area:
Computer Science, MathematicsGoogle:
"Jean-Baptiste Jeannin"Parents
Sign in to add mentorDexter Kozen | grad student | 2013 | Cornell | |
(Capsules and non-well-founded computation.) |
BETA: Related publications
See more...
Publications
You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect. |
JEANNIN JB, KOZEN D, SILVA A. (2016) Well-founded coalgebras, revisited Mathematical Structures in Computer Science. 1-21 |
Jeannin JB, Kozen D, Silva A. (2013) Language constructs for non-well-founded computation Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 7792: 61-80 |
Jeannin JB. (2011) Capsules and closures Electronic Notes in Theoretical Computer Science. 276: 191-213 |