Abbas Edalat When Scott is Weak on the Top. [Citation Graph (0, 0)][DBLP] Mathematical Structures in Computer Science, 1997, v:7, n:5, pp:401-417 [Journal]

Jirí Adámek A Categorical Generalization of Scott Domains. [Citation Graph (0, 0)][DBLP] Mathematical Structures in Computer Science, 1997, v:7, n:5, pp:419-443 [Journal]

Christian Retoré A Semantic Characterisation of the Correctness of a Proof Net. [Citation Graph (0, 0)][DBLP] Mathematical Structures in Computer Science, 1997, v:7, n:5, pp:445-452 [Journal]

Søren B. Lassen Action Semantics Reasoning about Functional Programs. [Citation Graph (0, 0)][DBLP] Mathematical Structures in Computer Science, 1997, v:7, n:5, pp:557-589 [Journal]

Marcelo P. Fiore An Enrichment Theorem for an Axiomatisation of Categories of Domains and Continuous Functions. [Citation Graph (0, 0)][DBLP] Mathematical Structures in Computer Science, 1997, v:7, n:5, pp:591-618 [Journal]

NOTICE1

System may not be available sometimes or not working properly, since it is still in development with continuous upgrades

NOTICE2

The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP