Fundamenta Informaticae, Volume 22

Volume 22, Number 1/2, January 1995

Special Issue: Categories in Computer Science

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

Mikhail Moshkov: About the Depth of Decision Trees Computing Boolean Functions. 203-215 BibTeX
Jürgen Dassow, Gheorghe Paun, Sorina Vicolov: On the Generative Capacity of Certain Classes of Cooperating Grammar Systems. 217-226 BibTeX
Jürgen Dix: A Classification Theory of Semantics of Normal Logic Programs: I. Strong Properties. 227-255 BibTeX
Jürgen Dix: A Classification Theory of Semantics of Normal Logic Programs: II. Weak Properties. 257-288 BibTeX
Roman M. Kolpakov: On the Complexity of Generation of Rational Numbers by Boolean Functions. 289-298 BibTeX
Pierpaolo Degano, Leonarda Raffoni: Fairness and Priority. 299-306 BibTeX

Special Issue: Computational Geometry

David Eppstein, Gary L. Miller, Shang-Hua Teng: A Deterministic Linear Time Algorithm for Geometric Separators and its Applications. 309-329 BibTeX
Christian Icking, Rolf Klein, Ngoc-Minh Lê, Lihong Ma: Convex Distance Functions in 3-Space are Different. 331-352 BibTeX
David G. Kirkpatrick, Jack Snoeyink: Tentative Prune-and-Search for Computing Fixed-Points with Applications to Geometric Computation. 353-370 BibTeX
Marshall W. Bern: Compatible Tetrahedralizations. 371-384 BibTeX
Noga Alon, Sridhar Rajagopalan, Subhash Suri: Long Non-Crossing Configurations in the Plane. 385-394 BibTeX