Possible forms of evaluation or reduction in Martin-Löf type theory
From MaRDI portal
Publication:1087865
DOI10.1016/0304-3975(85)90065-9zbMath0612.03007MaRDI QIDQ1087865
Publication date: 1985
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0304-3975(85)90065-9
03B70: Logic in computer science
Related Items
Cites Work