scientific article; zbMATH DE number 1231568

MaRDI QIDQ4222887zbMATH OpenFDO

Authors Marcelo P. Fiore, Giuseppe Rosolini

Publication date 20 December 1998

Full work available at URL http://www.elsevier.com/cas/tree/store/tcs/free/noncas/pc/volume6.htm#fiore

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Recommendations

• Domains in \(H\)
• Two models of synthetic domain theory
• Two categories of effective continuous cpos
• scientific article; zbMATH DE number 1231575

Cited in

(4)

• scientific article; zbMATH DE number 1231575 (Why is no real title available?)
• scientific article; zbMATH DE number 3892199 (Why is no real title available?)
• Two models of synthetic domain theory
• Cost-sensitive computational adequacy of higher-order recursion in synthetic domain theory

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