EasyChair Smart SlideUser guide
Author: Simona Ronchi Della Rocca

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

Strong normalization of simple types through uniform intersection types.

Strong normalization of simple types through uniform intersection types.

Simona Ronchi Della Rocca and Daniele Pautasso

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