EasyChair Smart SlideDocs/Log in
Author: Vincent Rahli

This page shows all presentations of this author published in EasyChair Smart Slide.

Constructing Unprejudiced Extensional Type Theories with Choices via Modalities

Constructing Unprejudiced Extensional Type Theories with Choices via Modalities

Liron Cohen and Vincent Rahli

Presentations in this collection: 1
Copyright © 2002 – 2024 EasyChair