Search dblp for Publications

export results for "toc:db/conf/hoots/hoots2000.bht:"

 download as .bib file

@inproceedings{DBLP:journals/entcs/Baldamus00,
  author       = {Michael Baldamus},
  editor       = {Alan Jeffrey},
  title        = {First-order Semantics for Higher-order Processes},
  booktitle    = {4th International Workshop on Higher Order Operational Techniques
                  in Semantics, {HOOTS} 2000, Satellite to {PLI} 2000, Montreal, Canada,
                  September 22, 2000},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {41},
  number       = {3},
  pages        = {50--69},
  publisher    = {Elsevier},
  year         = {2000},
  url          = {https://doi.org/10.1016/S1571-0661(04)80873-9},
  doi          = {10.1016/S1571-0661(04)80873-9},
  timestamp    = {Thu, 01 Dec 2022 10:14:30 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Baldamus00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/BiermanPR00,
  author       = {Gavin M. Bierman and
                  Andrew M. Pitts and
                  Claudio V. Russo},
  editor       = {Alan Jeffrey},
  title        = {Operational Properties of Lily, a Polymorphic Linear Lambda Calculus
                  with Recursion},
  booktitle    = {4th International Workshop on Higher Order Operational Techniques
                  in Semantics, {HOOTS} 2000, Satellite to {PLI} 2000, Montreal, Canada,
                  September 22, 2000},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {41},
  number       = {3},
  pages        = {70--88},
  publisher    = {Elsevier},
  year         = {2000},
  url          = {https://doi.org/10.1016/S1571-0661(04)80874-0},
  doi          = {10.1016/S1571-0661(04)80874-0},
  timestamp    = {Thu, 01 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/BiermanPR00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/HelsenT00,
  author       = {Simon Helsen and
                  Peter Thiemann},
  editor       = {Alan Jeffrey},
  title        = {Syntactic Type Soundness for the Region Calculus},
  booktitle    = {4th International Workshop on Higher Order Operational Techniques
                  in Semantics, {HOOTS} 2000, Satellite to {PLI} 2000, Montreal, Canada,
                  September 22, 2000},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {41},
  number       = {3},
  pages        = {1--19},
  publisher    = {Elsevier},
  year         = {2000},
  url          = {https://doi.org/10.1016/S1571-0661(04)80870-3},
  doi          = {10.1016/S1571-0661(04)80870-3},
  timestamp    = {Thu, 01 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/HelsenT00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/Jeffrey00,
  author       = {Alan Jeffrey},
  editor       = {Alan Jeffrey},
  title        = {Preface},
  booktitle    = {4th International Workshop on Higher Order Operational Techniques
                  in Semantics, {HOOTS} 2000, Satellite to {PLI} 2000, Montreal, Canada,
                  September 22, 2000},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {41},
  number       = {3},
  pages        = {89},
  publisher    = {Elsevier},
  year         = {2000},
  url          = {https://doi.org/10.1016/S1571-0661(05)80875-8},
  doi          = {10.1016/S1571-0661(05)80875-8},
  timestamp    = {Thu, 01 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Jeffrey00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/Minamide00,
  author       = {Yasuhiko Minamide},
  editor       = {Alan Jeffrey},
  title        = {A New Criterion for Safe Program Transformations},
  booktitle    = {4th International Workshop on Higher Order Operational Techniques
                  in Semantics, {HOOTS} 2000, Satellite to {PLI} 2000, Montreal, Canada,
                  September 22, 2000},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {41},
  number       = {3},
  pages        = {20--34},
  publisher    = {Elsevier},
  year         = {2000},
  url          = {https://doi.org/10.1016/S1571-0661(04)80871-5},
  doi          = {10.1016/S1571-0661(04)80871-5},
  timestamp    = {Thu, 01 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Minamide00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/Virga00,
  author       = {Roberto Virga},
  editor       = {Alan Jeffrey},
  title        = {Efficient Substitution in Hoare Logic Expressions},
  booktitle    = {4th International Workshop on Higher Order Operational Techniques
                  in Semantics, {HOOTS} 2000, Satellite to {PLI} 2000, Montreal, Canada,
                  September 22, 2000},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {41},
  number       = {3},
  pages        = {35--49},
  publisher    = {Elsevier},
  year         = {2000},
  url          = {https://doi.org/10.1016/S1571-0661(04)80872-7},
  doi          = {10.1016/S1571-0661(04)80872-7},
  timestamp    = {Thu, 01 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Virga00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/hoots/2000,
  editor       = {Alan Jeffrey},
  title        = {4th International Workshop on Higher Order Operational Techniques
                  in Semantics, {HOOTS} 2000, Satellite to {PLI} 2000, Montreal, Canada,
                  September 22, 2000},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {41},
  number       = {3},
  publisher    = {Elsevier},
  year         = {2000},
  url          = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/41/issue/3},
  timestamp    = {Thu, 01 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/hoots/2000.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.