BibTeX records: Matías Menni

download as .bib file

@article{DBLP:journals/jsyml/Menni18,
  author    = {Mat{\'{\i}}as Menni},
  title     = {The Unity and Identity of Decidable Objects and double-Negation sheaves},
  journal   = {J. Symb. Log.},
  volume    = {83},
  number    = {4},
  pages     = {1667--1679},
  year      = {2018},
  url       = {https://doi.org/10.1017/jsl.2018.42},
  doi       = {10.1017/jsl.2018.42},
  timestamp = {Wed, 16 Jan 2019 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/jsyml/Menni18.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acs/Menni17,
  author    = {Mat{\'{\i}}as Menni},
  title     = {Every Rig with a One-Variable Fixed Point Presentation is the Burnside
               Rig of a Prextensive Category},
  journal   = {Appl. Categorical Struct.},
  volume    = {25},
  number    = {4},
  pages     = {663--707},
  year      = {2017},
  url       = {https://doi.org/10.1007/s10485-016-9475-6},
  doi       = {10.1007/s10485-016-9475-6},
  timestamp = {Tue, 29 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/acs/Menni17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jphil/MenniS14,
  author    = {Mat{\'{\i}}as Menni and
               C. Smith},
  title     = {Modes of Adjointness},
  journal   = {J. Philos. Log.},
  volume    = {43},
  number    = {2-3},
  pages     = {365--391},
  year      = {2014},
  url       = {https://doi.org/10.1007/s10992-012-9266-y},
  doi       = {10.1007/s10992-012-9266-y},
  timestamp = {Mon, 11 May 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/jphil/MenniS14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acs/Menni10,
  author    = {Mat{\'{\i}}as Menni},
  title     = {L{\"{a}}uchli's Completeness Theorem from a Topos-Theoretic Perspective},
  journal   = {Appl. Categorical Struct.},
  volume    = {18},
  number    = {2},
  pages     = {185--197},
  year      = {2010},
  url       = {https://doi.org/10.1007/s10485-008-9124-9},
  doi       = {10.1007/s10485-008-9124-9},
  timestamp = {Tue, 29 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/acs/Menni10.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dm/Menni08,
  author    = {Mat{\'{\i}}as Menni},
  title     = {Combinatorial functional and differential equations applied to differential
               posets},
  journal   = {Discret. Math.},
  volume    = {308},
  number    = {10},
  pages     = {1864--1888},
  year      = {2008},
  url       = {https://doi.org/10.1016/j.disc.2007.04.035},
  doi       = {10.1016/j.disc.2007.04.035},
  timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/dm/Menni08.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/CastiglioniMS08,
  author    = {Jos{\'{e}} L. Castiglioni and
               Mat{\'{\i}}as Menni and
               Marta Sagastume},
  title     = {On Some Categories of Involutive Centered Residuated Lattices},
  journal   = {Stud Logica},
  volume    = {90},
  number    = {1},
  pages     = {93--124},
  year      = {2008},
  url       = {https://doi.org/10.1007/s11225-008-9145-2},
  doi       = {10.1007/s11225-008-9145-2},
  timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/sLogica/CastiglioniMS08.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acs/Menni03,
  author    = {Mat{\'{\i}}as Menni},
  title     = {About N-quantifiers},
  journal   = {Appl. Categorical Struct.},
  volume    = {11},
  number    = {5},
  pages     = {421--445},
  year      = {2003},
  url       = {https://doi.org/10.1023/A:1025750816098},
  doi       = {10.1023/A:1025750816098},
  timestamp = {Tue, 29 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/acs/Menni03.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Menni02,
  author    = {Mat{\'{\i}}as Menni},
  title     = {More exact completions that are toposes},
  journal   = {Ann. Pure Appl. Log.},
  volume    = {116},
  number    = {1-3},
  pages     = {187--203},
  year      = {2002},
  url       = {https://doi.org/10.1016/S0168-0072(01)00111-7},
  doi       = {10.1016/S0168-0072(01)00111-7},
  timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/apal/Menni02.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/MenniS02,
  author    = {Mat{\'{\i}}as Menni and
               Alex K. Simpson},
  title     = {Topological and Limit-Space Subcategories of Countably-Based Equilogical
               Spaces},
  journal   = {Math. Struct. Comput. Sci.},
  volume    = {12},
  number    = {6},
  pages     = {739--770},
  year      = {2002},
  url       = {https://doi.org/10.1017/S0960129502003699},
  doi       = {10.1017/S0960129502003699},
  timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/mscs/MenniS02.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/MenniS99,
  author    = {Mat{\'{\i}}as Menni and
               Alex K. Simpson},
  editor    = {Stephen D. Brookes and
               Achim Jung and
               Michael W. Mislove and
               Andre Scedrov},
  title     = {The Largest Topological Subcategory of Countably-based Equilogical
               Spaces},
  booktitle = {Fifteenth Conference on Mathematical Foundations of Progamming Semantics,
               {MFPS} 1999, Tulane University, New Orleans, LA, USA, April 28 - May
               1, 1999},
  series    = {Electronic Notes in Theoretical Computer Science},
  volume    = {20},
  pages     = {375--398},
  publisher = {Elsevier},
  year      = {1999},
  url       = {https://doi.org/10.1016/S1571-0661(04)80084-7},
  doi       = {10.1016/S1571-0661(04)80084-7},
  timestamp = {Mon, 08 Feb 2021 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/entcs/MenniS99.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics