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
Bar induction. The good, the bad, and the ugly	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 \({\beta}\)- and \({\beta}{\eta}\)-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