The search for trivial types
From MaRDI portal
Publication:1977654
zbMATH Open0948.03035MaRDI QIDQ1977654FDOQ1977654
Publication date: 14 November 2000
Published in: Illinois Journal of Mathematics (Search for Journal in Brave)
Cited In (5)
This page was built for publication: The search for trivial types
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1977654)