@article{Asperti-Martini/92,
AUTHOR = {Asperti, Andrea and Martini, Simone},
TITLE = {Categorical models of polymorphism},
JOURNAL = {Inf.~Comput.},
VOLUME = {99},
NUMBER = {1},
PAGES = {1-79},
YEAR = {1992, July},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Larsen-Milner/92,
AUTHOR = {Larsen, Kim G. and Milner, Robin},
TITLE = {A compositional protocol verification using relativized bisimulation},
JOURNAL = {Inf.~Comput.},
VOLUME = {99},
NUMBER = {1},
PAGES = {80-108},
YEAR = {1992, July},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Robson/92,
AUTHOR = {Robson, J.M.},
TITLE = {Deterministic simulation of a single tape Turing machine by a random access machine in sub-linear time},
JOURNAL = {Inf.~Comput.},
VOLUME = {99},
NUMBER = {1},
PAGES = {109-121},
YEAR = {1992, July},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Fairtlough-Wainer/92,
AUTHOR = {Fairtlough, M.V.H. and Wainer, S.S.},
TITLE = {Ordinal complexity of recursive definitions},
JOURNAL = {Inf.~Comput.},
VOLUME = {99},
NUMBER = {2},
PAGES = {123-153},
YEAR = {1992, August},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Renardel_de_Lavalette/92,
AUTHOR = {Renardel de Lavalette, Gerard R.},
TITLE = {Strictness analysis via abstract interpretation for recursively defined types},
JOURNAL = {Inf.~Comput.},
VOLUME = {99},
NUMBER = {2},
PAGES = {154-177},
YEAR = {1992, August},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Darondeau-Yoccoz/92,
AUTHOR = {Darondeau, Philippe and Yoccoz, Serge},
TITLE = {Proof systems for infinite Behaviours},
JOURNAL = {Inf.~Comput.},
VOLUME = {99},
NUMBER = {2},
PAGES = {178-191},
YEAR = {1992, August},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Benveniste-Guernic-Sorel-Sorine/92,
AUTHOR = {Benveniste, Albert and Guernic, Paul le and Sorel, Yves and Sorine, Michel},
TITLE = {A denotational theory of synchronous reactive systems},
JOURNAL = {Inf.~Comput.},
VOLUME = {99},
NUMBER = {2},
PAGES = {192-230},
YEAR = {1992, August},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Ore/92,
AUTHOR = {Ore, Christian-Emil},
TITLE = {The extended calculus of constructions (ECC) with inductive types},
JOURNAL = {Inf.~Comput.},
VOLUME = {99},
NUMBER = {2},
PAGES = {231-264},
YEAR = {1992, August},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}