\({\mathcal M}^\omega\) considered as a programming language

From MaRDI portal
Publication:1304541

DOI10.1016/S0168-0072(99)80002-5zbMath0932.03030MaRDI QIDQ1304541

Karl-Heinz Niggl

Publication date: 13 March 2000

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)






Cites Work




This page was built for publication: \({\mathcal M}^\omega\) considered as a programming language