@article{Severi/98,
AUTHOR = {Severi, Paula},
TITLE = {Type inference for pure type systems},
JOURNAL = {Inf.~Comput.},
VOLUME = {143},
NUMBER = {1},
PAGES = {1-23},
YEAR = {1998},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Bollig-Wegener/98a,
AUTHOR = {Bollig, Beate and Wegener, Ingo},
TITLE = {Completeness and non-completeness results with respect to read-once projections},
JOURNAL = {Inf.~Comput.},
VOLUME = {143},
NUMBER = {1},
PAGES = {24-33},
YEAR = {1998},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Sangiorgi/98,
AUTHOR = {Sangiorgi, Davide},
TITLE = {An interpretation of typed objects into typed $\pi$-calculus},
JOURNAL = {Inf.~Comput.},
VOLUME = {143},
NUMBER = {1},
PAGES = {34-73},
YEAR = {1998},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Montagna/98,
AUTHOR = {Montagna, Franco},
TITLE = {Investigations on measure-one identification of classes of languages},
JOURNAL = {Inf.~Comput.},
VOLUME = {143},
NUMBER = {1},
PAGES = {74-107},
YEAR = {1998},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Abiteboul-Papadimitriou-Vianu/98,
AUTHOR = {Abiteboul, Serge and Papadimitriou, Christos H. and Vianu, V.},
TITLE = {Reflective relational machines},
JOURNAL = {Inf.~Comput.},
VOLUME = {143},
NUMBER = {2},
PAGES = {110-136},
YEAR = {1998},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Constable/98,
AUTHOR = {Constable, Robert L.},
TITLE = {A note on complexity measures for inductive classes in constructive type theory},
JOURNAL = {Inf.~Comput.},
VOLUME = {143},
NUMBER = {2},
PAGES = {137-153},
YEAR = {1998},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Dawar/98,
AUTHOR = {Dawar, Anuj},
TITLE = {A restricted second order logic for finite structures},
JOURNAL = {Inf.~Comput.},
VOLUME = {143},
NUMBER = {2},
PAGES = {154-174},
YEAR = {1998},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Girard/98,
AUTHOR = {Girard, Jean-Yves},
TITLE = {Light linear logic},
JOURNAL = {Inf.~Comput.},
VOLUME = {143},
NUMBER = {2},
PAGES = {175-204},
YEAR = {1998},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Ishihara-Khoussainov-Nerode/98,
AUTHOR = {Ishihara, Hajime and Khoussainov, Bakhadyr and Nerode, Anil},
TITLE = {Computable Kripke models and intermediate logics},
JOURNAL = {Inf.~Comput.},
VOLUME = {143},
NUMBER = {2},
PAGES = {205-230},
YEAR = {1998},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Lindell/98,
AUTHOR = {Lindell, Steven},
TITLE = {A constant-space sequential model of computation for first-order logic},
JOURNAL = {Inf.~Comput.},
VOLUME = {143},
NUMBER = {2},
PAGES = {231-250},
YEAR = {1998},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}