• 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