scientific article; zbMATH DE number 3926901

zbMATH Open0579.03033MaRDI QIDQ3701413FDOQ3701413

Authors: Eugenio Moggi, Giuseppe Longo 

Publication date: 1985

Title of this publication is not available (Why is that?)

zbMATH Keywords

category of enumerationsErshov's structure

Mathematics Subject Classification ID

Theory of numerations, effectively presented structures (03D45) Epimorphisms, monomorphisms, special classes of morphisms, null morphisms (18A20) Recursive equivalence types of sets and structures, isols (03D50)

Cited In (4)

• Title not available (Why is that?)
• Type structures
• Title not available (Why is that?)
• Enumerated types and type extensions for MiniZinc

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3701413)