Vincent Tourneur
Vincent Tourneur
Affiliation: Université de Lorraine
Pages in this Program
A Typing System for the Linear Lambda-Calculus in de Bruijn Notation
Designed and Developed by EventKey | Copyright 2026 EventKey Last updated:
🔍 ↑