Search dblp for Publications

export results for "toc:db/journals/fuin/fuin121.bht:"

 download as .bib file

@article{DBLP:journals/fuin/Bakel12,
  author    = {Steffen van Bakel},
  title     = {Completeness and Soundness Results for with Intersection and Union
               Types},
  journal   = {Fundam. Informaticae},
  volume    = {121},
  number    = {1-4},
  pages     = {1--41},
  year      = {2012},
  url       = {https://doi.org/10.3233/FI-2012-770},
  doi       = {10.3233/FI-2012-770},
  timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/fuin/Bakel12.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/CarlierW12,
  author    = {S{\'{e}}bastien Carlier and
               J. B. Wells},
  title     = {The Algebra of Expansion},
  journal   = {Fundam. Informaticae},
  volume    = {121},
  number    = {1-4},
  pages     = {43--82},
  year      = {2012},
  url       = {https://doi.org/10.3233/FI-2012-771},
  doi       = {10.3233/FI-2012-771},
  timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/fuin/CarlierW12.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/GhilezanP12,
  author    = {Silvia Ghilezan and
               Luca Paolini},
  title     = {Preface},
  journal   = {Fundam. Informaticae},
  volume    = {121},
  number    = {1-4},
  year      = {2012},
  url       = {https://doi.org/10.3233/FI-2012-769},
  doi       = {10.3233/FI-2012-769},
  timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/fuin/GhilezanP12.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/KamareddineNRW12,
  author    = {Fairouz Kamareddine and
               Karim Nour and
               Vincent Rahli and
               J. B. Wells},
  title     = {On Realisability Semantics for Intersection Types with Expansion Variables},
  journal   = {Fundam. Informaticae},
  volume    = {121},
  number    = {1-4},
  pages     = {153--184},
  year      = {2012},
  url       = {https://doi.org/10.3233/FI-2012-774},
  doi       = {10.3233/FI-2012-774},
  timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/fuin/KamareddineNRW12.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/KamareddineRW12,
  author    = {Fairouz Kamareddine and
               Vincent Rahli and
               J. B. Wells},
  title     = {Reducibility Proofs in the {\(\lambda\)}-Calculus},
  journal   = {Fundam. Informaticae},
  volume    = {121},
  number    = {1-4},
  pages     = {121--152},
  year      = {2012},
  url       = {https://doi.org/10.3233/FI-2012-773},
  doi       = {10.3233/FI-2012-773},
  timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/fuin/KamareddineRW12.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/Koletsos12,
  author    = {George Koletsos},
  title     = {Intersection Types and Termination Properties},
  journal   = {Fundam. Informaticae},
  volume    = {121},
  number    = {1-4},
  pages     = {185--202},
  year      = {2012},
  url       = {https://doi.org/10.3233/FI-2012-775},
  doi       = {10.3233/FI-2012-775},
  timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/fuin/Koletsos12.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/Laurent12,
  author    = {Olivier Laurent},
  title     = {Intersection Types with Subtyping by Means of Cut Elimination},
  journal   = {Fundam. Informaticae},
  volume    = {121},
  number    = {1-4},
  pages     = {203--226},
  year      = {2012},
  url       = {https://doi.org/10.3233/FI-2012-776},
  doi       = {10.3233/FI-2012-776},
  timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/fuin/Laurent12.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/Piccolo12,
  author    = {Mauro Piccolo},
  title     = {Strong Normalization in the {\(\pi\)}-calculus with Intersection and
               Union Types},
  journal   = {Fundam. Informaticae},
  volume    = {121},
  number    = {1-4},
  pages     = {227--252},
  year      = {2012},
  url       = {https://doi.org/10.3233/FI-2012-777},
  doi       = {10.3233/FI-2012-777},
  timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/fuin/Piccolo12.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/PimentelRR12,
  author    = {Elaine Pimentel and
               Simona Ronchi Della Rocca and
               Luca Roversi},
  title     = {Intersection Types from a Proof-theoretic Perspective},
  journal   = {Fundam. Informaticae},
  volume    = {121},
  number    = {1-4},
  pages     = {253--274},
  year      = {2012},
  url       = {https://doi.org/10.3233/FI-2012-778},
  doi       = {10.3233/FI-2012-778},
  timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/fuin/PimentelRR12.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/SantoIL12,
  author    = {Jos{\'{e}} Esp{\'{\i}}rito Santo and
               Jelena Ivetic and
               Silvia Likavec},
  title     = {Characterising Strongly Normalising Intuitionistic Terms},
  journal   = {Fundam. Informaticae},
  volume    = {121},
  number    = {1-4},
  pages     = {83--120},
  year      = {2012},
  url       = {https://doi.org/10.3233/FI-2012-772},
  doi       = {10.3233/FI-2012-772},
  timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/fuin/SantoIL12.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/StavrinosV12,
  author    = {Yiorgos Stavrinos and
               Anastasia Veneti},
  title     = {Towards a Logic for Union Types},
  journal   = {Fundam. Informaticae},
  volume    = {121},
  number    = {1-4},
  pages     = {275--302},
  year      = {2012},
  url       = {https://doi.org/10.3233/FI-2012-779},
  doi       = {10.3233/FI-2012-779},
  timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/fuin/StavrinosV12.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics