EasyChair Smart SlideDocs/Log in
Author: Matrín Copes

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

Formalization in Constructive Type Theory of the Standardization Theorem

Formalization in Constructive Type Theory of the Standardization Theorem

Matrín Copes, Nora Szasz and Alvaro Tasistro

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