Search dblp for Publications

• > Home > Search

@article{DBLP:journals/iandc/AspertiM92,
  author       = {Andrea Asperti and
                  Simone Martini},
  title        = {Categorical Models of Polymorphism},
  journal      = {Inf. Comput.},
  volume       = {99},
  number       = {1},
  pages        = {1--79},
  year         = {1992},
  url          = {https://doi.org/10.1016/0890-5401(92)90024-A},
  doi          = {10.1016/0890-5401(92)90024-A},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/AspertiM92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/BenvenisteGSS92,
  author       = {Albert Benveniste and
                  Paul {Le Guernic} and
                  Yves Sorel and
                  Michel Sorine},
  title        = {A Denotational Theory of Synchronous Reactive Systems},
  journal      = {Inf. Comput.},
  volume       = {99},
  number       = {2},
  pages        = {192--230},
  year         = {1992},
  url          = {https://doi.org/10.1016/0890-5401(92)90030-J},
  doi          = {10.1016/0890-5401(92)90030-J},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/BenvenisteGSS92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/DarondeauY92,
  author       = {Philippe Darondeau and
                  Serge Yoccoz},
  title        = {Proof Systems for Infinite Behaviours},
  journal      = {Inf. Comput.},
  volume       = {99},
  number       = {2},
  pages        = {178--191},
  year         = {1992},
  url          = {https://doi.org/10.1016/0890-5401(92)90029-F},
  doi          = {10.1016/0890-5401(92)90029-F},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/DarondeauY92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/FairtloughW92,
  author       = {M. V. H. Fairtlough and
                  Stanley S. Wainer},
  title        = {Ordinal Complexity of Recursive Definitions},
  journal      = {Inf. Comput.},
  volume       = {99},
  number       = {2},
  pages        = {123--153},
  year         = {1992},
  url          = {https://doi.org/10.1016/0890-5401(92)90027-D},
  doi          = {10.1016/0890-5401(92)90027-D},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/FairtloughW92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/LarsenM92,
  author       = {Kim Guldstrand Larsen and
                  Robin Milner},
  title        = {A Compositional Protocol Verification Using Relativized Bisimulation},
  journal      = {Inf. Comput.},
  volume       = {99},
  number       = {1},
  pages        = {80--108},
  year         = {1992},
  url          = {https://doi.org/10.1016/0890-5401(92)90025-B},
  doi          = {10.1016/0890-5401(92)90025-B},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/LarsenM92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/Lavalette92,
  author       = {Gerard R. Renardel de Lavalette},
  title        = {Strictness Analysis via Abstract Interpretation for Recursively Defined
                  Types},
  journal      = {Inf. Comput.},
  volume       = {99},
  number       = {2},
  pages        = {154--177},
  year         = {1992},
  url          = {https://doi.org/10.1016/0890-5401(92)90028-E},
  doi          = {10.1016/0890-5401(92)90028-E},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/Lavalette92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/Ore92,
  author       = {Christian{-}Emil Ore},
  title        = {The Extended Calculus of Constructions {(ECC)} with Inductive Types},
  journal      = {Inf. Comput.},
  volume       = {99},
  number       = {2},
  pages        = {231--264},
  year         = {1992},
  url          = {https://doi.org/10.1016/0890-5401(92)90031-A},
  doi          = {10.1016/0890-5401(92)90031-A},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/Ore92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/Robson92,
  author       = {J. M. Robson},
  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},
  url          = {https://doi.org/10.1016/0890-5401(92)90026-C},
  doi          = {10.1016/0890-5401(92)90026-C},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/Robson92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}