Liron Cohen

Available identifiers

zbMath Open cohen.lironMaRDI QIDQ1694468

List of research outcomes

Publication	Date of Publication	Type
Inductive continuity via Brouwer trees	2024-12-03	Paper
Realizing continuity using stateful computations	2024-09-25	Paper
\(\text{TT}^\Box_{\mathcal{C}}\): a family of extensional type theories with effectful realizers of continuity	2024-09-04	Paper
Constructing unprejudiced extensional type theories with choices via modalities	2024-05-27	Paper
Integrating induction and coinduction via closure operators and proof cycles	2022-11-09	Paper
Uniform Inductive Reasoning in Transitive Closure Logic via Infinite Descent	2022-05-28	Paper
The effects of effects on constructivism	2022-04-29	Paper
Formally computing with the non-computable	2022-03-22	Paper
Non-well-founded deduction for induction and coinduction	2021-12-01	Paper
The middle ground-ancestral logic	2021-11-29	Paper
Computability Beyond Church-Turing via Choice Sequences	2021-01-20	Paper
Non-well-founded Proof Theory of Transitive Closure Logic	2020-09-11	Paper
Towards automated reasoning in Herbrand structures	2020-02-03	Paper
Bar Induction is Compatible with Constructive Type Theory	2019-11-21	Paper
Formalizing Scientifically Applicable Mathematics in a Definitional Framework	2019-09-18	Paper
Intuitionistic ancestral logic	2019-07-29	Paper
A Verified Theorem Prover Backend Supported by a Monotonic Library	2019-07-04	Paper
Applicable Mathematics in a Minimal Computational Theory of Sets	2018-11-02	Paper
A minimal computational theory of a minimal computational universe	2018-04-06	Paper
Completeness for ancestral logic via a computationally-meaningful semantics	2018-02-02	Paper
Intuitionistic Ancestral Logic as a Dependently Typed Abstract Programming Language	2015-09-24	Paper
Ancestral Logic: A Proof Theoretical Study	2015-01-13	Paper

Research outcomes over time

This page was built for person: Liron Cohen