Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Steffen van Bakel
@article{DBLP:journals/lmcs/Bakel23,
author = {Steffen van Bakel},
title = {Adding Negation to Lambda Mu},
journal = {Log. Methods Comput. Sci.},
volume = {19},
number = {2},
year = {2023},
url = {https://doi.org/10.46298/lmcs-19(2:12)2023},
doi = {10.46298/LMCS-19(2:12)2023},
timestamp = {Wed, 21 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/Bakel23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/BakelWT23,
author = {Steffen van Bakel and
Nicolas Wu and
Emma Tye},
editor = {Santiago Escobar and
Vasco T. Vasconcelos},
title = {A Calculus of Delayed Reductions},
booktitle = {International Symposium on Principles and Practice of Declarative
Programming, {PPDP} 2023, Lisboa, Portugal, October 22-23, 2023},
pages = {1:1--1:13},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3610612.3610613},
doi = {10.1145/3610612.3610613},
timestamp = {Fri, 27 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ppdp/BakelWT23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2109-10447,
author = {Steffen van Bakel},
title = {Adding Negation to Lambda Mu},
journal = {CoRR},
volume = {abs/2109.10447},
year = {2021},
url = {https://arxiv.org/abs/2109.10447},
eprinttype = {arXiv},
eprint = {2109.10447},
timestamp = {Mon, 27 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2109-10447.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/Bakel19,
author = {Steffen van Bakel},
editor = {Ekaterina Komendantskaya},
title = {Exception Handling and Classical Logic},
booktitle = {Proceedings of the 21st International Symposium on Principles and
Practice of Programming Languages, {PPDP} 2019, Porto, Portugal, October
7-9, 2019},
pages = {21:1--21:14},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3354166.3354186},
doi = {10.1145/3354166.3354186},
timestamp = {Thu, 26 Sep 2019 14:21:31 +0200},
biburl = {https://dblp.org/rec/conf/ppdp/Bakel19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/BakelBd18,
author = {Steffen van Bakel and
Franco Barbanera and
Ugo de'Liguoro},
title = {Intersection Types for the lambda-mu Calculus},
journal = {Log. Methods Comput. Sci.},
volume = {14},
number = {1},
year = {2018},
url = {https://doi.org/10.23638/LMCS-14(1:2)2018},
doi = {10.23638/LMCS-14(1:2)2018},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/BakelBd18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/Bakel18,
author = {Steffen van Bakel},
title = {Characterisation of Normalisation Properties for {\(\lambda\)}{\(\mu\)}
using Strict Negated Intersection Types},
journal = {{ACM} Trans. Comput. Log.},
volume = {19},
number = {1},
pages = {3:1--3:47},
year = {2018},
url = {https://doi.org/10.1145/3149823},
doi = {10.1145/3149823},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tocl/Bakel18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/BarbaneraBd17,
author = {Franco Barbanera and
Steffen van Bakel and
Ugo de'Liguoro},
title = {Orchestrated session compliance},
journal = {J. Log. Algebraic Methods Program.},
volume = {86},
number = {1},
pages = {30--76},
year = {2017},
url = {https://doi.org/10.1016/j.jlamp.2016.08.002},
doi = {10.1016/J.JLAMP.2016.08.002},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/BarbaneraBd17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BakelBd17,
author = {Steffen van Bakel and
Franco Barbanera and
Ugo de'Liguoro},
title = {Intersection Types for the lambda-mu Calculus},
journal = {CoRR},
volume = {abs/1704.00272},
year = {2017},
url = {http://arxiv.org/abs/1704.00272},
eprinttype = {arXiv},
eprint = {1704.00272},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BakelBd17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/Bakel17,
author = {Steffen van Bakel},
editor = {Naoki Kobayashi},
title = {Characterisation of Approximation and (Head) Normalisation for {\(\lambda\)}{\(\mu\)}
using Strict Intersection Types},
booktitle = {Proceedings Eighth Workshop on Intersection Types and Related Systems,
{ITRS} 2016, Porto, Portugal, 26th June 2016},
series = {{EPTCS}},
volume = {242},
pages = {20--30},
year = {2016},
url = {https://doi.org/10.4204/EPTCS.242.4},
doi = {10.4204/EPTCS.242.4},
timestamp = {Wed, 12 Sep 2018 01:05:15 +0200},
biburl = {https://dblp.org/rec/journals/corr/Bakel17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/KohlenbachBB16,
editor = {Ulrich Kohlenbach and
Steffen van Bakel and
Stefano Berardi},
title = {Proceedings Sixth International Workshop on Classical Logic and Computation,
CL{\&}C 2016, Porto, Portugal , 23th June 2016},
series = {{EPTCS}},
volume = {213},
year = {2016},
url = {https://doi.org/10.4204/EPTCS.213},
doi = {10.4204/EPTCS.213},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/KohlenbachBB16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/BarbaneraBd15,
author = {Franco Barbanera and
Steffen van Bakel and
Ugo de'Liguoro},
editor = {Sophia Knight and
Ivan Lanese and
Alberto Lluch{-}Lafuente and
Hugo Torres Vieira},
title = {Orchestrated Session Compliance},
booktitle = {Proceedings 8th Interaction and Concurrency Experience, {ICE} 2015,
Grenoble, France, 4-5th June 2015},
series = {{EPTCS}},
volume = {189},
pages = {21--36},
year = {2015},
url = {https://doi.org/10.4204/EPTCS.189.4},
doi = {10.4204/EPTCS.189.4},
timestamp = {Wed, 14 Nov 2018 10:31:26 +0100},
biburl = {https://dblp.org/rec/journals/corr/BarbaneraBd15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/RoweB14,
author = {Reuben N. S. Rowe and
Steffen van Bakel},
title = {Semantic Types and Approximation for Featherweight Java},
journal = {Theor. Comput. Sci.},
volume = {517},
pages = {34--74},
year = {2014},
url = {https://doi.org/10.1016/j.tcs.2013.08.017},
doi = {10.1016/J.TCS.2013.08.017},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/RoweB14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/BakelV14,
author = {Steffen van Bakel and
Maria Grazia Vigliotti},
editor = {Paulo Oliva},
title = {A fully-abstract semantics of lambda-mu in the pi-calculus},
booktitle = {Proceedings Fifth International Workshop on Classical Logic and Computation,
CL{\&}C 2014, Vienna, Austria, July 13, 2014},
series = {{EPTCS}},
volume = {164},
pages = {33--47},
year = {2014},
url = {https://doi.org/10.4204/EPTCS.164.3},
doi = {10.4204/EPTCS.164.3},
timestamp = {Wed, 12 Sep 2018 01:05:14 +0200},
biburl = {https://dblp.org/rec/journals/corr/BakelV14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/BakelBB13,
author = {Steffen van Bakel and
Stefano Berardi and
Ulrich Berger},
title = {Preface},
journal = {Ann. Pure Appl. Log.},
volume = {164},
number = {6},
pages = {589--590},
year = {2013},
url = {https://doi.org/10.1016/j.apal.2012.05.001},
doi = {10.1016/J.APAL.2012.05.001},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/BakelBB13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/BakelR13,
author = {Steffen van Bakel and
Reuben N. S. Rowe},
editor = {Peter Achten and
Pieter W. M. Koopman},
title = {Functional Type Assignment for Featherweight Java - To Rinus Plasmeijer,
in Honour of His 61st Birthday},
booktitle = {The Beauty of Functional Code - Essays Dedicated to Rinus Plasmeijer
on the Occasion of His 61st Birthday},
series = {Lecture Notes in Computer Science},
volume = {8106},
pages = {27--46},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40355-2\_4},
doi = {10.1007/978-3-642-40355-2\_4},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/birthday/BakelR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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}
}
@inproceedings{DBLP:conf/ifipTCS/BakelV12,
author = {Steffen van Bakel and
Maria Grazia Vigliotti},
editor = {Jos C. M. Baeten and
Thomas Ball and
Frank S. de Boer},
title = {An Output-Based Semantics of {\(\Lambda\)}{\(\mu\)} with Explicit
Substitution in the {\(\pi\)}-Calculus - Extended Abstract},
booktitle = {Theoretical Computer Science - 7th {IFIP} {TC} 1/WG 2.2 International
Conference, {TCS} 2012, Amsterdam, The Netherlands, September 26-28,
2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7604},
pages = {372--387},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33475-7\_26},
doi = {10.1007/978-3-642-33475-7\_26},
timestamp = {Tue, 14 May 2019 10:00:36 +0200},
biburl = {https://dblp.org/rec/conf/ifipTCS/BakelV12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/BakelBd13,
author = {Steffen van Bakel and
Franco Barbanera and
Ugo de'Liguoro},
editor = {St{\'{e}}phane Graham{-}Lengrand and
Luca Paolini},
title = {Characterisation of Strongly Normalising lambda-mu-Terms},
booktitle = {Proceedings Sixth Workshop on Intersection Types and Related Systems,
{ITRS} 2012, Dubrovnik, Croatia, 29th June 2012},
series = {{EPTCS}},
volume = {121},
pages = {1--17},
year = {2012},
url = {https://doi.org/10.4204/EPTCS.121.1},
doi = {10.4204/EPTCS.121.1},
timestamp = {Wed, 14 Nov 2018 10:31:26 +0100},
biburl = {https://dblp.org/rec/journals/corr/BakelBd13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csur/Bakel11,
author = {Steffen van Bakel},
title = {Strict intersection types for the Lambda Calculus},
journal = {{ACM} Comput. Surv.},
volume = {43},
number = {3},
pages = {20:1--20:49},
year = {2011},
url = {https://doi.org/10.1145/1922649.1922657},
doi = {10.1145/1922649.1922657},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/csur/Bakel11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tlca/BakelBd11,
author = {Steffen van Bakel and
Franco Barbanera and
Ugo de'Liguoro},
editor = {C.{-}H. Luke Ong},
title = {A Filter Model for the \emph{{\(\lambda\)}{\(\mu\)}}-Calculus - (Extended
Abstract)},
booktitle = {Typed Lambda Calculi and Applications - 10th International Conference,
{TLCA} 2011, Novi Sad, Serbia, June 1-3, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6690},
pages = {213--228},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-21691-6\_18},
doi = {10.1007/978-3-642-21691-6\_18},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/tlca/BakelBd11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tlca/RoweB11,
author = {Reuben N. S. Rowe and
Steffen van Bakel},
editor = {C.{-}H. Luke Ong},
title = {Approximation Semantics and Expressive Predicate Assignment for Object-Oriented
Programming - (Extended Abstract)},
booktitle = {Typed Lambda Calculi and Applications - 10th International Conference,
{TLCA} 2011, Novi Sad, Serbia, June 1-3, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6690},
pages = {229--244},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-21691-6\_19},
doi = {10.1007/978-3-642-21691-6\_19},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tlca/RoweB11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1109-4570,
author = {Steffen van Bakel},
title = {Reduction in {X} does not agree with Intersection and Union Types
(Extended abstract)},
journal = {CoRR},
volume = {abs/1109.4570},
year = {2011},
url = {http://arxiv.org/abs/1109.4570},
eprinttype = {arXiv},
eprint = {1109.4570},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1109-4570.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1109-4618,
author = {Steffen van Bakel and
Reuben N. S. Rowe},
title = {Semantic Predicate Types and Approximation for Class-based Object
Oriented Programming},
journal = {CoRR},
volume = {abs/1109.4618},
year = {2011},
url = {http://arxiv.org/abs/1109.4618},
eprinttype = {arXiv},
eprint = {1109.4618},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1109-4618.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1109-4817,
author = {Steffen van Bakel and
Luca Cardelli and
Maria Grazia Vigliotti},
title = {From {X} to Pi; Representing the Classical Sequent Calculus in the
Pi-calculus},
journal = {CoRR},
volume = {abs/1109.4817},
year = {2011},
url = {http://arxiv.org/abs/1109.4817},
eprinttype = {arXiv},
eprint = {1109.4817},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1109-4817.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1109-4843,
author = {Steffen van Bakel and
Maria Grazia Vigliotti},
title = {Note on a simple type system for non-interference},
journal = {CoRR},
volume = {abs/1109.4843},
year = {2011},
url = {http://arxiv.org/abs/1109.4843},
eprinttype = {arXiv},
eprint = {1109.4843},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1109-4843.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/BakelBB10,
author = {Steffen van Bakel and
Stefano Berardi and
Ulrich Berger},
title = {Preface},
journal = {Ann. Pure Appl. Log.},
volume = {161},
number = {11},
pages = {1313--1314},
year = {2010},
url = {https://doi.org/10.1016/j.apal.2010.04.004},
doi = {10.1016/J.APAL.2010.04.004},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/BakelBB10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Bakel10,
author = {Steffen van Bakel},
title = {Completeness and partial soundness results for intersection and union
typing for lambda\({}^{\mbox{{\_}}}\){\(\mathrm{\mu}\)}{\(\mathrm{\mu}\)}\({}^{\mbox{{\_}}}\)},
journal = {Ann. Pure Appl. Log.},
volume = {161},
number = {11},
pages = {1400--1430},
year = {2010},
url = {https://doi.org/10.1016/j.apal.2010.04.010},
doi = {10.1016/J.APAL.2010.04.010},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/Bakel10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1101-4425,
author = {Steffen van Bakel},
editor = {Elaine Pimentel and
Betti Venneri and
Joe B. Wells},
title = {Sound and Complete Typing for lambda-mu},
booktitle = {Proceedings Fifth Workshop on Intersection Types and Related Systems,
{ITRS} 2010, Edinburgh, U.K., 9th July 2010},
series = {{EPTCS}},
volume = {45},
pages = {31--44},
year = {2010},
url = {https://doi.org/10.4204/EPTCS.45.3},
doi = {10.4204/EPTCS.45.3},
timestamp = {Wed, 12 Sep 2018 01:05:15 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1101-4425.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-1101-5200,
editor = {Steffen van Bakel and
Stefano Berardi and
Ulrich Berger},
title = {Proceedings Third International Workshop on Classical Logic and Computation,
CL{\&}C 2010, Brno, Czech Republic, 21-22 August 2010},
series = {{EPTCS}},
volume = {47},
year = {2010},
url = {https://doi.org/10.4204/EPTCS.47},
doi = {10.4204/EPTCS.47},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1101-5200.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/BakelV09,
author = {Steffen van Bakel and
Maria Grazia Vigliotti},
editor = {Mario Bravetti and
Gianluigi Zavattaro},
title = {A Logical Interpretation of the {\(\lambda\)}-Calculus into the {\(\pi\)}-Calculus,
Preserving Spine Reduction and Types},
booktitle = {{CONCUR} 2009 - Concurrency Theory, 20th International Conference,
{CONCUR} 2009, Bologna, Italy, September 1-4, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5710},
pages = {84--98},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04081-8\_7},
doi = {10.1007/978-3-642-04081-8\_7},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/concur/BakelV09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/BakelR09,
author = {Steffen van Bakel and
Reuben N. S. Rowe},
editor = {Anindya Banerjee},
title = {Semantic predicate types and approximation for class-based object
oriented programming},
booktitle = {Proceedings of the 11th International Workshop on Formal Techniques
for Java-like Programs, FTfJP 2009, Genova, Italy, July 6, 2009},
pages = {3:1--3:7},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1557898.1557901},
doi = {10.1145/1557898.1557901},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/BakelR09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/BakelB08,
author = {Steffen van Bakel and
Stefano Berardi},
title = {Preface},
journal = {Ann. Pure Appl. Log.},
volume = {153},
number = {1-3},
pages = {1--2},
year = {2008},
url = {https://doi.org/10.1016/j.apal.2008.01.007},
doi = {10.1016/J.APAL.2008.01.007},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/BakelB08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/BakelL08,
author = {Steffen van Bakel and
Pierre Lescanne},
title = {Computation with classical sequents},
journal = {Math. Struct. Comput. Sci.},
volume = {18},
number = {3},
pages = {555--609},
year = {2008},
url = {https://doi.org/10.1017/S0960129508006762},
doi = {10.1017/S0960129508006762},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/BakelL08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mst/Bakeld08,
author = {Steffen van Bakel and
Ugo de'Liguoro},
title = {Logical Equivalence for Subtyping Object and Recursive Types},
journal = {Theory Comput. Syst.},
volume = {42},
number = {3},
pages = {306--348},
year = {2008},
url = {https://doi.org/10.1007/s00224-007-9079-5},
doi = {10.1007/S00224-007-9079-5},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mst/Bakeld08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Bakel08,
author = {Steffen van Bakel},
title = {The heart of intersection type assignment: Normalisation proofs revisited},
journal = {Theor. Comput. Sci.},
volume = {398},
number = {1-3},
pages = {82--94},
year = {2008},
url = {https://doi.org/10.1016/j.tcs.2008.01.020},
doi = {10.1016/J.TCS.2008.01.020},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Bakel08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bcs/Bakel08,
author = {Steffen van Bakel},
editor = {Erol Gelenbe and
Samson Abramsky and
Vladimiro Sassone},
title = {Subject Reduction vs Intersection},
booktitle = {Visions of Computer Science - {BCS} International Academic Conference,
Imperial College, London, UK, 22-24 September 2008},
pages = {249--258},
publisher = {British Computer Society},
year = {2008},
url = {http://www.bcs.org/server.php?show=ConWebDoc.22908},
timestamp = {Mon, 21 Sep 2009 12:13:42 +0200},
biburl = {https://dblp.org/rec/conf/bcs/Bakel08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BakelKVH08,
author = {Steffen van Bakel and
Ikra Khan and
Maria Grazia Vigliotti and
John K. Heath},
editor = {Alessandro Aldini and
Christel Baier},
title = {Modelling Intracellular Fate of {FGF} Receptors With BioAmbients},
booktitle = {Proceedings of the Sixth Workshop on Quantitative Aspects of Programming
Languages, {QAPL} 2008, Budapest, Hungary, March 29-30, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {220},
number = {3},
pages = {181--197},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2008.11.026},
doi = {10.1016/J.ENTCS.2008.11.026},
timestamp = {Fri, 20 Jan 2023 13:44:09 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BakelKVH08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/SummersB06,
author = {Alexander J. Summers and
Steffen van Bakel},
editor = {Peter Sestoft},
title = {Approaches to Polymorphism in Classical Sequent Calculus},
booktitle = {Programming Languages and Systems, 15th European Symposium on Programming,
{ESOP} 2006, Held as Part of the Joint European Conferences on Theory
and Practice of Software, {ETAPS} 2006, Vienna, Austria, March 27-28,
2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3924},
pages = {84--99},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11693024\_7},
doi = {10.1007/11693024\_7},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/esop/SummersB06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictcs/Bakeld05,
author = {Steffen van Bakel and
Ugo de'Liguoro},
editor = {Mario Coppo and
Elena Lodi and
G. Michele Pinna},
title = {Subtyping Object and Recursive Types Logically},
booktitle = {Theoretical Computer Science, 9th Italian Conference, {ICTCS} 2005,
Siena, Italy, October 12-14, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3701},
pages = {66--80},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11560586\_7},
doi = {10.1007/11560586\_7},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/ictcs/Bakeld05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictcs/BakelLL05,
author = {Steffen van Bakel and
St{\'{e}}phane Lengrand and
Pierre Lescanne},
editor = {Mario Coppo and
Elena Lodi and
G. Michele Pinna},
title = {The Language chi: Circuits, Computations and Classical Logic},
booktitle = {Theoretical Computer Science, 9th Italian Conference, {ICTCS} 2005,
Siena, Italy, October 12-14, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3701},
pages = {81--96},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11560586\_8},
doi = {10.1007/11560586\_8},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ictcs/BakelLL05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/LengrandLDDB04,
author = {St{\'{e}}phane Lengrand and
Pierre Lescanne and
Daniel J. Dougherty and
Mariangiola Dezani{-}Ciancaglini and
Steffen van Bakel},
title = {Intersection types for explicit substitutions},
journal = {Inf. Comput.},
volume = {189},
number = {1},
pages = {17--42},
year = {2004},
url = {https://doi.org/10.1016/j.ic.2003.09.004},
doi = {10.1016/J.IC.2003.09.004},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iandc/LengrandLDDB04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Bakel04,
author = {Steffen van Bakel},
title = {Cut-Elimination in the Strict Intersection Type Assignment System
is Strongly Normalizing},
journal = {Notre Dame J. Formal Log.},
volume = {45},
number = {1},
pages = {35--63},
year = {2004},
url = {https://doi.org/10.1305/ndjfl/1094155278},
doi = {10.1305/NDJFL/1094155278},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Bakel04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BakelR05,
author = {Steffen van Bakel and
Jayshan Raghunandan},
editor = {Maribel Fern{\'{a}}ndez},
title = {Implementing {X}},
booktitle = {Proceedings of the 2nd International Workshop on Term Graph Rewriting,
{TERMGRAPH} 2004, Rome, Italy, October 2, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {127},
number = {5},
pages = {171--195},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2005.03.025},
doi = {10.1016/J.ENTCS.2005.03.025},
timestamp = {Mon, 12 Dec 2022 15:00:58 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BakelR05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Bakel05,
author = {Steffen van Bakel},
editor = {Mario Coppo and
Ferruccio Damiani},
title = {Intersection and Union Types for chi},
booktitle = {Proceedings of the Third International Workshop on Intersection Types
and Related Systems, {ITRS} 2004, Turku, Finland, July 13, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {136},
pages = {203--227},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2005.06.009},
doi = {10.1016/J.ENTCS.2005.06.009},
timestamp = {Mon, 12 Dec 2022 16:15:37 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Bakel05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BakelF03,
author = {Steffen van Bakel and
Maribel Fern{\'{a}}ndez},
title = {Normalization, approximation, and semantics for combinator systems},
journal = {Theor. Comput. Sci.},
volume = {290},
number = {1},
pages = {975--1019},
year = {2003},
url = {https://doi.org/10.1016/S0304-3975(02)00548-0},
doi = {10.1016/S0304-3975(02)00548-0},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/BakelF03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictcs/Bakeld03,
author = {Steffen van Bakel and
Ugo de'Liguoro},
editor = {Carlo Blundo and
Cosimo Laneve},
title = {Logical Semantics for the First Order varsigma-Calculus},
booktitle = {Theoretical Computer Science, 8th Italian Conference, {ICTCS} 2003,
Bertinoro, Italy, October 13-15, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2841},
pages = {202--215},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-45208-9\_17},
doi = {10.1007/978-3-540-45208-9\_17},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/ictcs/Bakeld03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/itrs/2002,
editor = {Steffen van Bakel},
title = {Intersection Types and Related Systems, {ITRS} 2002, FLoC Satellite
Event, Copenhagen, Denmark, July 26, 2002},
series = {Electronic Notes in Theoretical Computer Science},
volume = {70},
number = {1},
publisher = {Elsevier},
year = {2003},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/70/issue/1},
timestamp = {Tue, 06 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/itrs/2002.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BakelBDV02,
author = {Steffen van Bakel and
Franco Barbanera and
Mariangiola Dezani{-}Ciancaglini and
Fer{-}Jan de Vries},
title = {Intersection types for lambda-trees},
journal = {Theor. Comput. Sci.},
volume = {272},
number = {1-2},
pages = {3--40},
year = {2002},
url = {https://doi.org/10.1016/S0304-3975(00)00346-7},
doi = {10.1016/S0304-3975(00)00346-7},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/BakelBDV02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifipTCS/BraghinCFB02,
author = {Chiara Braghin and
Agostino Cortesi and
Riccardo Focardi and
Steffen van Bakel},
editor = {Ricardo A. Baeza{-}Yates and
Ugo Montanari and
Nicola Santoro},
title = {Boundary Inference for Enforcing Security Policies in Mobile Ambients},
booktitle = {Foundations of Information Technology in the Era of Networking and
Mobile Computing, {IFIP} 17\({}^{\mbox{th}}\) World Computer Congress
- {TC1} Stream / 2\({}^{\mbox{nd}}\) {IFIP} International Conference
on Theoretical Computer Science {(TCS} 2002), August 25-30, 2002,
Montr{\'{e}}al, Qu{\'{e}}bec, Canada},
series = {{IFIP} Conference Proceedings},
volume = {223},
pages = {383--395},
publisher = {Kluwer},
year = {2002},
url = {https://doi.org/10.1007/978-0-387-35608-2\_32},
doi = {10.1007/978-0-387-35608-2\_32},
timestamp = {Fri, 27 Sep 2019 10:35:17 +0200},
biburl = {https://dblp.org/rec/conf/ifipTCS/BraghinCFB02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/latin/BakelD02,
author = {Steffen van Bakel and
Mariangiola Dezani{-}Ciancaglini},
editor = {Sergio Rajsbaum},
title = {Characterising Strong Normalisation for Explicit Substitutions},
booktitle = {{LATIN} 2002: Theoretical Informatics, 5th Latin American Symposium,
Cancun, Mexico, April 3-6, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2286},
pages = {356--370},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45995-2\_33},
doi = {10.1007/3-540-45995-2\_33},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/latin/BakelD02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Bakel02,
author = {Steffen van Bakel},
editor = {Gilles Barthe and
Peter Thiemann},
title = {Rank 2 Types for Term Graph Rewriting},
booktitle = {International Workshop in Types in Programming, TIP@MPC 2002, Dagstuhl,
Germany, July 8, 2002},
series = {Electronic Notes in Theoretical Computer Science},
volume = {75},
pages = {1--20},
publisher = {Elsevier},
year = {2002},
url = {https://doi.org/10.1016/S1571-0661(04)80776-X},
doi = {10.1016/S1571-0661(04)80776-X},
timestamp = {Wed, 07 Dec 2022 09:03:24 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Bakel02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Bakel02a,
author = {Steffen van Bakel},
editor = {Steffen van Bakel},
title = {Strongly Normalising Cut-Elimination with Strict Intersection Types},
booktitle = {Intersection Types and Related Systems, {ITRS} 2002, FLoC Satellite
Event, Copenhagen, Denmark, July 26, 2002},
series = {Electronic Notes in Theoretical Computer Science},
volume = {70},
number = {1},
pages = {19--36},
publisher = {Elsevier},
year = {2002},
url = {https://doi.org/10.1016/S1571-0661(04)80488-2},
doi = {10.1016/S1571-0661(04)80488-2},
timestamp = {Tue, 06 Dec 2022 14:21:35 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Bakel02a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Bakel02b,
author = {Steffen van Bakel},
editor = {Steffen van Bakel},
title = {Preface},
booktitle = {Intersection Types and Related Systems, {ITRS} 2002, FLoC Satellite
Event, Copenhagen, Denmark, July 26, 2002},
series = {Electronic Notes in Theoretical Computer Science},
volume = {70},
number = {1},
pages = {182--183},
publisher = {Elsevier},
year = {2002},
url = {https://doi.org/10.1016/S1571-0661(05)80497-9},
doi = {10.1016/S1571-0661(05)80497-9},
timestamp = {Tue, 06 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Bakel02b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/types/BakelBF99,
author = {Steffen van Bakel and
Franco Barbanera and
Maribel Fern{\'{a}}ndez},
editor = {Thierry Coquand and
Peter Dybjer and
Bengt Nordstr{\"{o}}m and
Jan M. Smith},
title = {Polymorphic Intersection Type Assignment for Rewrite Systems with
Abstractions and \emph{beta}-Rule},
booktitle = {Types for Proofs and Programs, International Workshop TYPES'99, L{\"{o}}keberg,
Sweden, June 12-16, 1999, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {1956},
pages = {41--60},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-44557-9\_3},
doi = {10.1007/3-540-44557-9\_3},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/types/BakelBF99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/BakelLRU97,
author = {Steffen van Bakel and
Luigi Liquori and
Simona Ronchi Della Rocca and
Pawel Urzyczyn},
title = {Comparing Cubes of Typed and Type Assignment Systems},
journal = {Ann. Pure Appl. Log.},
volume = {86},
number = {3},
pages = {267--303},
year = {1997},
url = {https://doi.org/10.1016/S0168-0072(96)00036-X},
doi = {10.1016/S0168-0072(96)00036-X},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/BakelLRU97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/BakelF97,
author = {Steffen van Bakel and
Maribel Fern{\'{a}}ndez},
title = {Normalization Results for Typeable Rewrite Systems},
journal = {Inf. Comput.},
volume = {133},
number = {2},
pages = {73--116},
year = {1997},
url = {https://doi.org/10.1006/inco.1996.2617},
doi = {10.1006/INCO.1996.2617},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/BakelF97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/Bakel96,
author = {Steffen van Bakel},
title = {Rank 2 Intersection Type Assignment in Term Rewriting Systems},
journal = {Fundam. Informaticae},
volume = {26},
number = {2},
pages = {141--166},
year = {1996},
url = {https://doi.org/10.3233/FI-1996-26204},
doi = {10.3233/FI-1996-26204},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/Bakel96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/BakelBF96,
author = {Steffen van Bakel and
Franco Barbanera and
Maribel Fern{\'{a}}ndez},
editor = {Hanne Riis Nielson},
title = {Rewrite Systems with Abstraction and beta-Rule: Types, Approximants
and Normalization},
booktitle = {Programming Languages and Systems - ESOP'96, 6th European Symposium
on Programming, Link{\"{o}}ping, Sweden, April 22-24, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1058},
pages = {387--403},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61055-3\_50},
doi = {10.1007/3-540-61055-3\_50},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/esop/BakelBF96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Bakel95,
author = {Steffen van Bakel},
title = {Intersection Type Assignment Systems},
journal = {Theor. Comput. Sci.},
volume = {151},
number = {2},
pages = {385--435},
year = {1995},
url = {https://doi.org/10.1016/0304-3975(95)00073-6},
doi = {10.1016/0304-3975(95)00073-6},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Bakel95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hoa/BakelF95,
author = {Steffen van Bakel and
Maribel Fern{\'{a}}ndez},
editor = {Gilles Dowek and
Jan Heering and
Karl Meinke and
Bernhard M{\"{o}}ller},
title = {Approximation and Normalization Results for Typeable Term Rewriting
Systems},
booktitle = {Higher-Order Algebra, Logic, and Term Rewriting, Second International
Workshop, {HOA} '95, Paderborn, Germany, September 21-22, 1995, Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {1074},
pages = {17--36},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-61254-8\_17},
doi = {10.1007/3-540-61254-8\_17},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/hoa/BakelF95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/BakelF95,
author = {Steffen van Bakel and
Maribel Fern{\'{a}}ndez},
editor = {Jieh Hsiang},
title = {(Head-) Normalization of Typeable Rewrite Systems},
booktitle = {Rewriting Techniques and Applications, 6th International Conference,
RTA-95, Kaiserslautern, Germany, April 5-7, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {914},
pages = {279--293},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-59200-8\_64},
doi = {10.1007/3-540-59200-8\_64},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/rta/BakelF95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/unif/BakelF95,
author = {Steffen van Bakel and
Maribel Fern{\'{a}}ndez},
editor = {Robert Nieuwenhuis and
Albert Rubio},
title = {Normalization Properties of Typeable Term Rewriting Systems (Abstract)},
booktitle = {9th International Workshop on Unification, {UNIF} 1995, Sitges, Spain,
April 2-3, 1995},
pages = {9},
year = {1995},
timestamp = {Fri, 19 May 2023 16:00:29 +0200},
biburl = {https://dblp.org/rec/conf/unif/BakelF95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/BakelLRU94,
author = {Steffen van Bakel and
Luigi Liquori and
Simona Ronchi Della Rocca and
Pawel Urzyczyn},
editor = {Anil Nerode and
Yuri V. Matiyasevich},
title = {Comparing Cubes},
booktitle = {Logical Foundations of Computer Science, Third International Symposium,
LFCS'94, St. Petersburg, Russia, July 11-14, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {813},
pages = {353--365},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58140-5\_33},
doi = {10.1007/3-540-58140-5\_33},
timestamp = {Fri, 17 Jul 2020 16:12:46 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/BakelLRU94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Bakel93,
author = {Steffen van Bakel},
title = {Principal Type Schemes for the Strict Type Assignment System},
journal = {J. Log. Comput.},
volume = {3},
number = {6},
pages = {643--670},
year = {1993},
url = {https://doi.org/10.1093/logcom/3.6.643},
doi = {10.1093/LOGCOM/3.6.643},
timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Bakel93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/Bakel93,
author = {Steffen van Bakel},
editor = {R. K. Shyamasundar},
title = {Essential Intersection Type Assignment},
booktitle = {Foundations of Software Technology and Theoretical Computer Science,
13th Conference, Bombay, India, December 15-17, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {761},
pages = {13--23},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-57529-4\_40},
doi = {10.1007/3-540-57529-4\_40},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/Bakel93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hoa/BakelF93,
author = {Steffen van Bakel and
Maribel Fern{\'{a}}ndez},
editor = {Jan Heering and
Karl Meinke and
Bernhard M{\"{o}}ller and
Tobias Nipkow},
title = {Strong Normalization of Typeable Rewrite Systems},
booktitle = {Higher-Order Algebra, Logic, and Term Rewriting, First International
Workshop, {HOA} '93, Amsterdam, The Netherlands, September 23-24,
1993, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {816},
pages = {20--39},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-58233-9\_2},
doi = {10.1007/3-540-58233-9\_2},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/hoa/BakelF93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tlca/Bakel93,
author = {Steffen van Bakel},
editor = {Marc Bezem and
Jan Friso Groote},
title = {Partial Intersection Type Assignment in Applicative Term Rewriting
Systems},
booktitle = {Typed Lambda Calculi and Applications, International Conference on
Typed Lambda Calculi and Applications, {TLCA} '93, Utrecht, The Netherlands,
March 16-18, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {664},
pages = {29--44},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/BFb0037096},
doi = {10.1007/BFB0037096},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/tlca/Bakel93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Bakel92,
author = {Steffen van Bakel},
title = {Complete Restrictions of the Intersection Type Discipline},
journal = {Theor. Comput. Sci.},
volume = {102},
number = {1},
pages = {135--163},
year = {1992},
url = {https://doi.org/10.1016/0304-3975(92)90297-S},
doi = {10.1016/0304-3975(92)90297-S},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Bakel92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/caap/BakelSB92,
author = {Steffen van Bakel and
Sjaak Smetsers and
Simon Brock},
editor = {Jean{-}Claude Raoult},
title = {Partial Type Assignment in Left Linear Apllicative Term Rewriting
Systems},
booktitle = {{CAAP} '92, 17th Colloquium on Trees in Algebra and Programming, Rennes,
France, February 26-28, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {581},
pages = {300--321},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-55251-0\_17},
doi = {10.1007/3-540-55251-0\_17},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/caap/BakelSB92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
last updated on 2024-04-25 01:21 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
