scientific article; zbMATH DE number 3628934

MaRDI QIDQ4190621zbMATH OpenFDO

Authors Akira Kanda, David Park

Publication date 1979

zbMATH Keywords

Category TheoryColimitsCountable Algebraic DomainEffectively Given DomainPartial OrderSymbolic Computation

Mathematics Subject Classification ID

Theory of numerations, effectively presented structures (03D45) Partial orders, general (06A06) Limits and colimits (products, sums, directed limits, pushouts, fiber products, equalizers, kernels, ends and coends, etc.) (18A30) Symbolic computation and algebraic computation (68W30)

Cited in

(4)

• Admissible representations of effective cpo's
• Induction and recursion on the partial real line with applications to Real PCF
• Computability in higher types, P and the completeness of type assignment
• Semantics of algorithmic languages

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 Q4190621)