Researcher profile

Sergey Goncharov

2 papers in the PaperMetrix corpus

Publications

Papers by this author

Some Remarks on Conway and Iteration Theories

2016 · arXiv (Cornell University)

We present an axiomatization of Conway theories which yields,as a corollary, a very concise axiomatization of iteration theories satisfying the functorial implication for base morphisms.
Representing Guardedness in Call-by-Value and Guarded Parametrized Monads

2026 · Logical Methods in Computer Science

Like the notion of computation via (strong) monads serves to classify various flavours of impurity, including exceptions, non-determinism, probability, local and global store, the notion of guardedness classifies well-behavedness of cycles in various settings. In …