Computations on types
From MaRDI portal
Publication:1065543
zbMath0577.68038MaRDI QIDQ1065543
Publication date: 1985
Published in: Programming and Computer Software (Search for Journal in Brave)
This page was built for publication: Computations on types