Normalization by evaluation for modal dependent type theory

From MaRDI portal
Publication:6065506

DOI10.1017/s0956796823000060OpenAlexW4387270836MaRDI QIDQ6065506

Jason Z. S. Hu, Brigitte Pientka, Junyoung Jang

Publication date: 11 December 2023

Published in: Journal of Functional Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s0956796823000060






Cites Work