Graded modal dependent type theory

From MaRDI portal
Publication:2233475

DOI10.1007/978-3-030-72019-3_17zbMath1473.68052arXiv2010.13163OpenAlexW3110513392MaRDI QIDQ2233475

Benjamin Moon, Harley III Eades, Dominic A. Orchard

Publication date: 18 October 2021

Full work available at URL: https://arxiv.org/abs/2010.13163




Related Items (4)




Cites Work




This page was built for publication: Graded modal dependent type theory