Normalization by evaluation for Martin-Löf Type Theory with dependent records
No reviews for this project.