- Version
- Download 50
- File Size 288.74 KB
- File Count 1
- Create Date 8 June 2021
- Last Updated 8 June 2021
Semantic Analysis of Normalization by Evaluation for Fitch-Style Modal Lambda Calculi
Nachiappan Valliappan, Fabian Ruch, and Carlos Tomé Cortiñas
Leave a Comment