Journals in DBLP

Fundam. Inform.
1995, volume: 22, number: 1/2

1. Andrea Asperti
   Linear Logic, Comonads and Optimal Reduction. [Citation Graph (0, 0)][DBLP]
   Fundam. Inform., 1995, v:22, n:1/2, pp:3-22 [Journal]
   
2. Karl Heinz Hofmann, Michael W. Mislove
   All Compact Hausdorff Lambda Models are Degenerate. [Citation Graph (0, 0)][DBLP]
   Fundam. Inform., 1995, v:22, n:1/2, pp:23-52 [Journal]
   
3. Joachim Lambek
   Cut Elimination for Classical Bilinear Logic. [Citation Graph (0, 0)][DBLP]
   Fundam. Inform., 1995, v:22, n:1/2, pp:53-67 [Journal]
   
4. Giuseppe Longo
   Parametric and Type-Dependent Polymorphism. [Citation Graph (0, 0)][DBLP]
   Fundam. Inform., 1995, v:22, n:1/2, pp:69-92 [Journal]
   
5. Michael W. Mislove, Frank J. Oles
   Adjunctions Between Categories of Domains. [Citation Graph (0, 0)][DBLP]
   Fundam. Inform., 1995, v:22, n:1/2, pp:93-116 [Journal]
   
6. Eugenio Moggi
   A Semantics for Evaluation Logic. [Citation Graph (0, 0)][DBLP]
   Fundam. Inform., 1995, v:22, n:1/2, pp:117-152 [Journal]
   
7. György E. Révész
   Categorical Combinations with Explicit Products. [Citation Graph (0, 0)][DBLP]
   Fundam. Inform., 1995, v:22, n:1/2, pp:153-166 [Journal]
   
8. Eugene W. Stark
   An Algebra of Dataflow Networks. [Citation Graph (0, 0)][DBLP]
   Fundam. Inform., 1995, v:22, n:1/2, pp:167-185 [Journal]
   
9. Eric G. Wagner, Wafaa Khalil, Robert F. C. Walters
   Fix-point Semantics for Programs in Distributive Categories. [Citation Graph (0, 0)][DBLP]
   Fundam. Inform., 1995, v:22, n:1/2, pp:187-202 [Journal]