Volume 143, Number 1, May 25, 1998
- Paula Severi:
Type Inference for Pure Type Systems.
- Beate Bollig, Ingo Wegener:
Completeness and Non-Completeness Results with Respect to Read-Once Projections.
- Davide Sangiorgi:
An Interpretation of Typed Objects into Typed pi-Calculus.
- Franco Montagna:
Investigations on Measure-One Identification of Classes of Languages.
Volume 143, Number 2, June 15, 1998 Special Issue from the workshop on Logic and Computational Complexity (LCC), Indiana University, October 1994
Last update Sat May 25 20:20:32 2013
CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page