BibTeX records: Alejandro Díaz-Caro

download as .bib file

@article{DBLP:journals/iandc/ArrighiDV17,
  author    = {Pablo Arrighi and
               Alejandro D{\'{\i}}az{-}Caro and
               Beno{\^{\i}}t Valiron},
  title     = {The vectorial {\(\lambda\)}-calculus},
  journal   = {Inf. Comput.},
  volume    = {254},
  pages     = {105--139},
  year      = {2017},
  url       = {https://doi.org/10.1016/j.ic.2017.04.001},
  doi       = {10.1016/j.ic.2017.04.001},
  timestamp = {Wed, 14 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/iandc/ArrighiDV17},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/aplas/Diaz-Caro17,
  author    = {Alejandro D{\'{\i}}az{-}Caro},
  title     = {A Lambda Calculus for Density Matrices with Classical and Probabilistic
               Controls},
  booktitle = {Programming Languages and Systems - 15th Asian Symposium, {APLAS}
               2017, Suzhou, China, November 27-29, 2017, Proceedings},
  pages     = {448--467},
  year      = {2017},
  crossref  = {DBLP:conf/aplas/2017},
  url       = {https://doi.org/10.1007/978-3-319-71237-6_22},
  doi       = {10.1007/978-3-319-71237-6_22},
  timestamp = {Mon, 20 Nov 2017 11:27:52 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/aplas/Diaz-Caro17},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/corr/Diaz-Caro17,
  author    = {Alejandro D{\'{\i}}az{-}Caro},
  title     = {A lambda calculus for density matrices},
  journal   = {CoRR},
  volume    = {abs/1705.00097},
  year      = {2017},
  url       = {http://arxiv.org/abs/1705.00097},
  archivePrefix = {arXiv},
  eprint    = {1705.00097},
  timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/corr/Diaz-Caro17},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/corr/abs-1708-03536,
  author    = {Alejandro D{\'{\i}}az{-}Caro and
               Guido Martinez},
  title     = {Confluence in Probabilistic Rewriting},
  journal   = {CoRR},
  volume    = {abs/1708.03536},
  year      = {2017},
  url       = {http://arxiv.org/abs/1708.03536},
  archivePrefix = {arXiv},
  eprint    = {1708.03536},
  timestamp = {Tue, 05 Sep 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/corr/abs-1708-03536},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/csr/Diaz-CaroY16,
  author    = {Alejandro D{\'{\i}}az{-}Caro and
               Abuzer Yakaryilmaz},
  title     = {Affine Computation and Affine Automaton},
  booktitle = {Computer Science - Theory and Applications - 11th International Computer
               Science Symposium in Russia, {CSR} 2016, St. Petersburg, Russia, June
               9-13, 2016, Proceedings},
  pages     = {146--160},
  year      = {2016},
  crossref  = {DBLP:conf/csr/2016},
  url       = {https://doi.org/10.1007/978-3-319-34171-2_11},
  doi       = {10.1007/978-3-319-34171-2_11},
  timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/csr/Diaz-CaroY16},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:journals/corr/CoppoDDMZ17,
  author    = {Mario Coppo and
               Mariangiola Dezani{-}Ciancaglini and
               Alejandro D{\'{\i}}az{-}Caro and
               Ines Margaria and
               Maddalena Zacchi},
  title     = {Retractions in Intersection Types},
  booktitle = {Proceedings Eighth Workshop on Intersection Types and Related Systems,
               {ITRS} 2016, Porto, Portugal, 26th June 2016.},
  pages     = {31--47},
  year      = {2016},
  crossref  = {DBLP:journals/corr/Kobayashi17},
  url       = {https://doi.org/10.4204/EPTCS.242.5},
  doi       = {10.4204/EPTCS.242.5},
  timestamp = {Wed, 14 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/corr/CoppoDDMZ17},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/corr/Diaz-CaroD16,
  author    = {Alejandro D{\'{\i}}az{-}Caro and
               Gilles Dowek},
  title     = {Quantum superpositions and projective measurement in the lambda calculus},
  journal   = {CoRR},
  volume    = {abs/1601.04294},
  year      = {2016},
  url       = {http://arxiv.org/abs/1601.04294},
  archivePrefix = {arXiv},
  eprint    = {1601.04294},
  timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/corr/Diaz-CaroD16},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/corr/Diaz-CaroY16,
  author    = {Alejandro D{\'{\i}}az{-}Caro and
               Abuzer Yakaryilmaz},
  title     = {Affine computation and affine automaton},
  journal   = {CoRR},
  volume    = {abs/1602.04732},
  year      = {2016},
  url       = {http://arxiv.org/abs/1602.04732},
  archivePrefix = {arXiv},
  eprint    = {1602.04732},
  timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/corr/Diaz-CaroY16},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/ifl/Diaz-CaroL15,
  author    = {Alejandro D{\'{\i}}az{-}Caro and
               Pablo E. Mart{\'{\i}}nez L{\'{o}}pez},
  title     = {Isomorphisms considered as equalities: Projecting functions and enhancing
               partial application through an implementation of {\(\lambda\)}\({}^{\mbox{+}}\)},
  booktitle = {Proceedings of the 27th Symposium on the Implementation and Application
               of Functional Programming Languages, {IFL} '15, Koblenz, Germany,
               September 14-16, 2015},
  pages     = {9:1--9:11},
  year      = {2015},
  crossref  = {DBLP:conf/ifl/2015},
  url       = {http://doi.acm.org/10.1145/2897336.2897346},
  doi       = {10.1145/2897336.2897346},
  timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/ifl/Diaz-CaroL15},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/corr/Diaz-CaroD15,
  author    = {Alejandro D{\'{\i}}az{-}Caro and
               Gilles Dowek},
  title     = {Simply Typed Lambda-Calculus Modulo Type Isomorphisms},
  journal   = {CoRR},
  volume    = {abs/1501.06125},
  year      = {2015},
  url       = {http://arxiv.org/abs/1501.06125},
  archivePrefix = {arXiv},
  eprint    = {1501.06125},
  timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/corr/Diaz-CaroD15},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/corr/Diaz-CaroL15,
  author    = {Alejandro D{\'{\i}}az{-}Caro and
               Pablo E. Mart{\'{\i}}nez L{\'{o}}pez},
  title     = {Isomorphisms considered as equalities: Projecting functions and enhancing
               partial application through and implementation of lambda+},
  journal   = {CoRR},
  volume    = {abs/1511.09324},
  year      = {2015},
  url       = {http://arxiv.org/abs/1511.09324},
  archivePrefix = {arXiv},
  eprint    = {1511.09324},
  timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/corr/Diaz-CaroL15},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/corr/abs-1005-2897,
  author    = {Ali Assaf and
               Alejandro D{\'{\i}}az{-}Caro and
               Simon Perdrix and
               Christine Tasson and
               Beno{\^{\i}}t Valiron},
  title     = {Call-by-value, call-by-name and the vectorial behaviour of the algebraic
               {\(\lambda\)}-calculus},
  journal   = {Logical Methods in Computer Science},
  volume    = {10},
  number    = {4},
  year      = {2014},
  url       = {https://doi.org/10.2168/LMCS-10(4:8)2014},
  doi       = {10.2168/LMCS-10(4:8)2014},
  timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/corr/abs-1005-2897},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/Diaz-CaroMP13,
  author    = {Alejandro D{\'{\i}}az{-}Caro and
               Giulio Manzonetto and
               Michele Pagani},
  title     = {Call-by-Value Non-determinism in a Linear Logic Type Discipline},
  booktitle = {Logical Foundations of Computer Science, International Symposium,
               {LFCS} 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings},
  pages     = {164--178},
  year      = {2013},
  crossref  = {DBLP:conf/lfcs/2013},
  url       = {https://doi.org/10.1007/978-3-642-35722-0_12},
  doi       = {10.1007/978-3-642-35722-0_12},
  timestamp = {Sun, 04 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/lfcs/Diaz-CaroMP13},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:journals/corr/Diaz-CaroD14,
  author    = {Alejandro D{\'{\i}}az{-}Caro and
               Gilles Dowek},
  title     = {The probability of non-confluent systems},
  booktitle = {Proceedings 9th International Workshop on Developments in Computational
               Models, {DCM} 2013, Buenos Aires, Argentina, 26 August 2013.},
  pages     = {1--15},
  year      = {2013},
  crossref  = {DBLP:journals/corr/Ayala-RinconBM14},
  url       = {https://doi.org/10.4204/EPTCS.144.1},
  doi       = {10.4204/EPTCS.144.1},
  timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/corr/Diaz-CaroD14},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/corr/ArrighiDV13,
  author    = {Pablo Arrighi and
               Alejandro D{\'{\i}}az{-}Caro and
               Beno{\^{\i}}t Valiron},
  title     = {The Vectorial Lambda-Calculus},
  journal   = {CoRR},
  volume    = {abs/1308.1138},
  year      = {2013},
  url       = {http://arxiv.org/abs/1308.1138},
  archivePrefix = {arXiv},
  eprint    = {1308.1138},
  timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/corr/ArrighiDV13},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/corr/Diaz-CaroMP13,
  author    = {Alejandro D{\'{\i}}az{-}Caro and
               Giulio Manzonetto and
               Michele Pagani},
  title     = {Call-by-value non-determinism in a linear logic type discipline},
  journal   = {CoRR},
  volume    = {abs/1312.4507},
  year      = {2013},
  url       = {http://arxiv.org/abs/1312.4507},
  archivePrefix = {arXiv},
  eprint    = {1312.4507},
  timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/corr/Diaz-CaroMP13},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/corr/abs-0903-3741,
  author    = {Pablo Arrighi and
               Alejandro D{\'{\i}}az{-}Caro},
  title     = {Scalar System {F} for Linear-Algebraic Lambda-Calculus: Towards a
               Quantum Physical Logic},
  journal   = {Logical Methods in Computer Science},
  volume    = {8},
  number    = {1},
  year      = {2012},
  url       = {https://doi.org/10.2168/LMCS-8(1:11)2012},
  doi       = {10.2168/LMCS-8(1:11)2012},
  timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/corr/abs-0903-3741},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/wollic/Diaz-CaroP12,
  author    = {Alejandro D{\'{\i}}az{-}Caro and
               Barbara Petit},
  title     = {Linearity in the Non-deterministic Call-by-Value Setting},
  booktitle = {Logic, Language, Information and Computation - 19th International
               Workshop, WoLLIC 2012, Buenos Aires, Argentina, September 3-6, 2012.
               Proceedings},
  pages     = {216--231},
  year      = {2012},
  crossref  = {DBLP:conf/wollic/2012},
  url       = {https://doi.org/10.1007/978-3-642-32621-9_16},
  doi       = {10.1007/978-3-642-32621-9_16},
  timestamp = {Mon, 05 Jun 2017 12:41:29 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/wollic/Diaz-CaroP12},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1303-7334,
  author    = {Alejandro D{\'{\i}}az{-}Caro and
               Gilles Dowek},
  title     = {Non determinism through type isomorphism},
  booktitle = {Proceedings Seventh Workshop on Logical and Semantic Frameworks, with
               Applications, {LSFA} 2012, Rio de Janeiro, Brazil, September 29-30,
               2012.},
  pages     = {137--144},
  year      = {2012},
  crossref  = {DBLP:journals/corr/abs-1303-7136},
  url       = {https://doi.org/10.4204/EPTCS.113.13},
  doi       = {10.4204/EPTCS.113.13},
  timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/corr/abs-1303-7334},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@phdthesis{DBLP:phd/hal/DiazCaro11,
  author    = {Alejandro D{\'{\i}}az{-}Caro},
  title     = {Du typage vectoriel. (On vectorial typing)},
  school    = {Grenoble Alpes University, France},
  year      = {2011},
  url       = {https://tel.archives-ouvertes.fr/tel-00631514},
  timestamp = {Wed, 19 Apr 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/phd/hal/DiazCaro11},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/entcs/Diaz-CaroAGG11,
  author    = {Alejandro D{\'{\i}}az{-}Caro and
               Pablo Arrighi and
               Manuel Gadella and
               Jonathan Grattage},
  title     = {Measurements and Confluence in Quantum Lambda Calculi With Explicit
               Qubits},
  journal   = {Electr. Notes Theor. Comput. Sci.},
  volume    = {270},
  number    = {1},
  pages     = {59--74},
  year      = {2011},
  url       = {https://doi.org/10.1016/j.entcs.2011.01.006},
  doi       = {10.1016/j.entcs.2011.01.006},
  timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/entcs/Diaz-CaroAGG11},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/entcs/ArrighiD11,
  author    = {Pablo Arrighi and
               Alejandro D{\'{\i}}az{-}Caro},
  title     = {Scalar System {F} for Linear-Algebraic {\(\lambda\)}-Calculus: Towards
               a Quantum Physical Logic},
  journal   = {Electr. Notes Theor. Comput. Sci.},
  volume    = {270},
  number    = {2},
  pages     = {219--229},
  year      = {2011},
  url       = {https://doi.org/10.1016/j.entcs.2011.01.033},
  doi       = {10.1016/j.entcs.2011.01.033},
  timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/entcs/ArrighiD11},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1012-4032,
  author    = {Pablo Arrighi and
               Alejandro D{\'{\i}}az{-}Caro and
               Beno{\^{\i}}t Valiron},
  title     = {Subject reduction in a Curry-style polymorphic type system with a
               vectorial structure},
  booktitle = {Proceedings 7th International Workshop on Developments of Computational
               Methods, {DCM} 2011, Zurich, Switzerland, 3rd July 2011.},
  pages     = {1--15},
  year      = {2011},
  crossref  = {DBLP:journals/corr/abs-1207-6821},
  url       = {https://doi.org/10.4204/EPTCS.88.1},
  doi       = {10.4204/EPTCS.88.1},
  timestamp = {Wed, 14 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/corr/abs-1012-4032},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1102-0749,
  author    = {Pablo Buiras and
               Alejandro D{\'{\i}}az{-}Caro and
               Mauro Jaskelioff},
  title     = {Lower Bounds for Scalars in a Typed Algebraic {\(\lambda\)}-calculus},
  booktitle = {Proceedings 6th Workshop on Logical and Semantic Frameworks with Applications,
               {LSFA} 2011, Belo Horizonte, Brazil, 27 August 2011.},
  pages     = {16--29},
  year      = {2011},
  crossref  = {DBLP:journals/corr/abs-1203-5423},
  url       = {https://doi.org/10.4204/EPTCS.81.2},
  doi       = {10.4204/EPTCS.81.2},
  timestamp = {Wed, 14 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/corr/abs-1102-0749},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/corr/abs-1011-3542,
  author    = {Alejandro D{\'{\i}}az{-}Caro and
               Barbara Petit},
  title     = {Sums in linear algebraic lambda-calculus},
  journal   = {CoRR},
  volume    = {abs/1011.3542},
  year      = {2010},
  url       = {http://arxiv.org/abs/1011.3542},
  archivePrefix = {arXiv},
  eprint    = {1011.3542},
  timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/corr/abs-1011-3542},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/aplas/2017,
  editor    = {Bor{-}Yuh Evan Chang},
  title     = {Programming Languages and Systems - 15th Asian Symposium, {APLAS}
               2017, Suzhou, China, November 27-29, 2017, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {10695},
  publisher = {Springer},
  year      = {2017},
  url       = {https://doi.org/10.1007/978-3-319-71237-6},
  doi       = {10.1007/978-3-319-71237-6},
  isbn      = {978-3-319-71236-9},
  timestamp = {Mon, 20 Nov 2017 11:27:52 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/aplas/2017},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/csr/2016,
  editor    = {Alexander S. Kulikov and
               Gerhard J. Woeginger},
  title     = {Computer Science - Theory and Applications - 11th International Computer
               Science Symposium in Russia, {CSR} 2016, St. Petersburg, Russia, June
               9-13, 2016, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {9691},
  publisher = {Springer},
  year      = {2016},
  url       = {https://doi.org/10.1007/978-3-319-34171-2},
  doi       = {10.1007/978-3-319-34171-2},
  isbn      = {978-3-319-34170-5},
  timestamp = {Wed, 17 May 2017 14:24:55 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/csr/2016},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:journals/corr/Kobayashi17,
  editor    = {Naoki Kobayashi},
  title     = {Proceedings Eighth Workshop on Intersection Types and Related Systems,
               {ITRS} 2016, Porto, Portugal, 26th June 2016},
  series    = {{EPTCS}},
  volume    = {242},
  year      = {2017},
  url       = {https://doi.org/10.4204/EPTCS.242},
  doi       = {10.4204/EPTCS.242},
  timestamp = {Wed, 03 May 2017 14:47:57 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/corr/Kobayashi17},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/ifl/2015,
  editor    = {Ralf L{\"{a}}mmel},
  title     = {Proceedings of the 27th Symposium on the Implementation and Application
               of Functional Programming Languages, {IFL} '15, Koblenz, Germany,
               September 14-16, 2015},
  publisher = {{ACM}},
  year      = {2015},
  url       = {http://doi.acm.org/10.1145/2897336},
  doi       = {10.1145/2897336},
  isbn      = {978-1-4503-4273-5},
  timestamp = {Thu, 22 Sep 2016 13:57:57 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/ifl/2015},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/lfcs/2013,
  editor    = {Sergei N. Art{\"{e}}mov and
               Anil Nerode},
  title     = {Logical Foundations of Computer Science, International Symposium,
               {LFCS} 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {7734},
  publisher = {Springer},
  year      = {2013},
  url       = {https://doi.org/10.1007/978-3-642-35722-0},
  doi       = {10.1007/978-3-642-35722-0},
  isbn      = {978-3-642-35721-3},
  timestamp = {Sun, 21 May 2017 00:17:45 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/lfcs/2013},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:journals/corr/Ayala-RinconBM14,
  editor    = {Mauricio Ayala{-}Rinc{\'{o}}n and
               Eduardo Bonelli and
               Ian Mackie},
  title     = {Proceedings 9th International Workshop on Developments in Computational
               Models, {DCM} 2013, Buenos Aires, Argentina, 26 August 2013},
  series    = {{EPTCS}},
  volume    = {144},
  year      = {2014},
  url       = {https://doi.org/10.4204/EPTCS.144},
  doi       = {10.4204/EPTCS.144},
  timestamp = {Wed, 03 May 2017 14:47:56 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/corr/Ayala-RinconBM14},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/wollic/2012,
  editor    = {C.{-}H. Luke Ong and
               Ruy J. G. B. de Queiroz},
  title     = {Logic, Language, Information and Computation - 19th International
               Workshop, WoLLIC 2012, Buenos Aires, Argentina, September 3-6, 2012.
               Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {7456},
  publisher = {Springer},
  year      = {2012},
  url       = {https://doi.org/10.1007/978-3-642-32621-9},
  doi       = {10.1007/978-3-642-32621-9},
  isbn      = {978-3-642-32620-2},
  timestamp = {Mon, 05 Jun 2017 12:41:29 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/wollic/2012},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-1303-7136,
  editor    = {Delia Kesner and
               Petrucio Viana},
  title     = {Proceedings Seventh Workshop on Logical and Semantic Frameworks, with
               Applications, {LSFA} 2012, Rio de Janeiro, Brazil, September 29-30,
               2012},
  series    = {{EPTCS}},
  volume    = {113},
  year      = {2012},
  url       = {https://doi.org/10.4204/EPTCS.113},
  doi       = {10.4204/EPTCS.113},
  timestamp = {Wed, 03 May 2017 14:47:55 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/corr/abs-1303-7136},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-1207-6821,
  editor    = {Elham Kashefi and
               Jean Krivine and
               Femke van Raamsdonk},
  title     = {Proceedings 7th International Workshop on Developments of Computational
               Methods, {DCM} 2011, Zurich, Switzerland, 3rd July 2011},
  series    = {{EPTCS}},
  volume    = {88},
  year      = {2011},
  url       = {https://doi.org/10.4204/EPTCS.88},
  doi       = {10.4204/EPTCS.88},
  timestamp = {Wed, 03 May 2017 14:47:55 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/corr/abs-1207-6821},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-1203-5423,
  editor    = {Simona Ronchi Della Rocca and
               Elaine Pimentel},
  title     = {Proceedings 6th Workshop on Logical and Semantic Frameworks with Applications,
               {LSFA} 2011, Belo Horizonte, Brazil, 27 August 2011},
  series    = {{EPTCS}},
  volume    = {81},
  year      = {2011},
  url       = {https://doi.org/10.4204/EPTCS.81},
  doi       = {10.4204/EPTCS.81},
  timestamp = {Wed, 03 May 2017 14:47:55 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/corr/abs-1203-5423},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
maintained by Schloss Dagstuhl LZI at University of Trier