Volume 119, Number 1, 1995
: Inhabitation of Types in the Simply Typed Lambda Calculus.
: A Loss Bound Model for On-Line Stochastic Prediction Algorithms.
: A Lower Bound for the Emulation of PRAM Memories on Processor Networks.
Volume 119, Number 2, 1995
Roberto Di Cosmo
: Second Order Isomorphic Types: A Proof Theoretic Study on Second Order lambda-Calculus with Surjective Paring and Terminal Object.
: Simplifying the Design of Knowledge-Based Algorithms Using Knowledge Consistency.