EasyChair Smart SlideDocs/Log in
Author: Zhaohui Luo

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

On the Metatheory of Subtype Universes

On the Metatheory of Subtype Universes

Felix Bradley and Zhaohui Luo

Substructural Calculi with Dependent Types

Substructural Calculi with Dependent Types

Zhaohui Luo

Propositional Forms of Judgemental Interpretations

Propositional Forms of Judgemental Interpretations

Tao Xue, Zhaohui Luo and Stergios Chatzikyriakidis

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