Information and Computation
Collection
Collection
- ISSN: 0890-5401
Published by Elsevier B.V.
Formerly published by Academic Press
-
Needed reduction and spine strategies for the lambda calculus Article
Information and Computation, 75(3), 191-231.H.P. Barendregt (Henk), J.R. Kennaway (Richard), J.W. Klop (Jan Willem) and M.R. Sleep (Ronan)
January 1987 -
Fixed point equations with parameters in the projective model Article
Information and Computation, 75(3), 264-288.January 1987 -
Maintaining multiple representations of dynamic data structures Article
Information and Computation, 83(2), 206-233.M.H.M. Smid (Michiel), M.H. Overmars (Mark), L. Torenvliet (Leen) and P. van Emde Boas (Peter)
January 1989 -
Denotational semantics of a parallel object-oriented language Article
Information and Computation, 83(2), 152-205.P.H.M. America (Pierre), J.W. de Bakker (Jaco), J.N. Kok (Joost) and J.J.M.M. Rutten (Jan)
January 1989 -
Unique normal forms for lambda calculus with surjective pairing Article
Information and Computation, 80(2), 97-113.January 1989 -
Proving total correctness of recursive procedures Article
Information and Computation, 84(2), 129-162.January 1990 -
Process expressions and Hoare's logic: showing an irreconcilability of context-free recursion with Scott's induction rule Article
Information and Computation, 95(2), 192-217.January 1991 -
Comparative semantics for flow of control in logic programming without logic Article
Information and Computation, 94(2), 123-179.January 1991