Vincent Rahli

Available identifiers

zbMath Open rahli.vincentMaRDI QIDQ507362

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
Computability Beyond Church-Turing via Choice Sequences	2021-01-20	Paper
https://portal.mardi4nfdi.de/entity/Q5144620	2021-01-19	Paper
Bar Induction is Compatible with Constructive Type Theory	2019-11-21	Paper
A Verified Theorem Prover Backend Supported by a Monotonic Library	2019-07-04	Paper
Validating Brouwer's continuity principle for numbers using named exceptions	2018-05-17	Paper
Skalpel: a constraint-based type error slicer for standard ML	2017-02-06	Paper
Exercising Nuprl’s Open-Endedness	2016-09-28	Paper
Skalpel: a type error slicer for standard ML	2016-08-01	Paper
Simplified Reducibility Proofs of Church-Rosser for β- and βη-reduction	2015-03-18	Paper
Towards a Formally Verified Proof Assistant	2014-09-08	Paper
Formal Program Optimization in Nuprl Using Computational Equivalence and Partial Types	2013-08-07	Paper
On Realisability Semantics for Intersection Types with Expansion Variables	2013-01-24	Paper
Reducibility Proofs in the λ-Calculus	2013-01-24	Paper
Realisability Semantics for Intersection Types and Expansion Variables	2009-05-13	Paper
A Complete Realisability Semantics for Intersection Types and Arbitrary Expansion Variables	2009-01-27	Paper
Uniform Circuits, & Boolean Proof Nets	2008-01-04	Paper

Research outcomes over time

This page was built for person: Vincent Rahli