The expansion postponement in pure type systems
From MaRDI portal
Publication:1375333
DOI10.1007/BF02947207zbMath0885.68130MaRDI QIDQ1375333
Publication date: 14 January 1998
Published in: Journal of Computer Science and Technology (Search for Journal in Brave)
Uses Software
Cites Work