Martin Hofmann Sound and Complete Axiomatisations of Call-by-Value Control Operators. [Citation Graph (0, 0)][DBLP] Mathematical Structures in Computer Science, 1995, v:5, n:4, pp:461-482 [Journal]

Sergei Soloviev Reductions in Intuitionistic Linear Logic. [Citation Graph (0, 0)][DBLP] Mathematical Structures in Computer Science, 1995, v:5, n:4, pp:483-499 [Journal]

Claudio Hermida, Bart Jacobs Fibrations with Indeterminates: Contextual and Functional Completeness for Polymorphic Lambda Calculi. [Citation Graph (0, 0)][DBLP] Mathematical Structures in Computer Science, 1995, v:5, n:4, pp:501-531 [Journal]

Marcelo P. Fiore Order-Enrichment for Categories of Partial Maps. [Citation Graph (0, 0)][DBLP] Mathematical Structures in Computer Science, 1995, v:5, n:4, pp:533-562 [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