Functorial semantics and HSP type theorems

DOI10.1007/BF01236519zbMath0794.18004MaRDI QIDQ1319054

Could not fetch data.

Publication date: 22 August 1994

Published in: (Search for Journal in Brave)

zbMATH Keywords

Could not fetch data.

Mathematics Subject Classification ID

Could not fetch data.