BibTeX records: Sergey Slavnov

download as .bib file

@article{DBLP:journals/lmcs/Slavnov23,
  author       = {Sergey Slavnov},
  title        = {Making first order linear logic a generating grammar},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {19},
  number       = {4},
  year         = {2023},
  url          = {https://doi.org/10.46298/lmcs-19(4:11)2023},
  doi          = {10.46298/LMCS-19(4:11)2023},
  timestamp    = {Tue, 23 Jan 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/lmcs/Slavnov23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/logcom/Slavnov22,
  author       = {Sergey Slavnov},
  title        = {On embedding Lambek calculus into commutative categorial grammars},
  journal      = {J. Log. Comput.},
  volume       = {32},
  number       = {3},
  pages        = {479--517},
  year         = {2022},
  url          = {https://doi.org/10.1093/logcom/exab065},
  doi          = {10.1093/LOGCOM/EXAB065},
  timestamp    = {Tue, 17 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/logcom/Slavnov22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-2206-08955,
  author       = {Sergey Slavnov},
  title        = {Making first order linear logic a generating grammar},
  journal      = {CoRR},
  volume       = {abs/2206.08955},
  year         = {2022},
  url          = {https://doi.org/10.48550/arXiv.2206.08955},
  doi          = {10.48550/ARXIV.2206.08955},
  eprinttype    = {arXiv},
  eprint       = {2206.08955},
  timestamp    = {Mon, 27 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2206-08955.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/mscs/Slavnov21,
  author       = {Sergey Slavnov},
  title        = {Linear logic in normed cones: probabilistic coherence spaces and beyond},
  journal      = {Math. Struct. Comput. Sci.},
  volume       = {31},
  number       = {5},
  pages        = {495--534},
  year         = {2021},
  url          = {https://doi.org/10.1017/S0960129521000177},
  doi          = {10.1017/S0960129521000177},
  timestamp    = {Wed, 23 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/mscs/Slavnov21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-2107-08728,
  author       = {Sergey Slavnov},
  title        = {Cobordisms and commutative categorial grammars},
  journal      = {CoRR},
  volume       = {abs/2107.08728},
  year         = {2021},
  url          = {https://arxiv.org/abs/2107.08728},
  eprinttype    = {arXiv},
  eprint       = {2107.08728},
  timestamp    = {Thu, 22 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2107-08728.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-2112-15253,
  author       = {Sergey Slavnov},
  title        = {First order linear logic and tensor type calculus for categorial grammars},
  journal      = {CoRR},
  volume       = {abs/2112.15253},
  year         = {2021},
  url          = {https://arxiv.org/abs/2112.15253},
  eprinttype    = {arXiv},
  eprint       = {2112.15253},
  timestamp    = {Wed, 05 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2112-15253.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-2005-10058,
  author       = {Sergey Slavnov},
  title        = {On embedding Lambek calculus into commutative categorial grammars},
  journal      = {CoRR},
  volume       = {abs/2005.10058},
  year         = {2020},
  url          = {https://arxiv.org/abs/2005.10058},
  eprinttype    = {arXiv},
  eprint       = {2005.10058},
  timestamp    = {Fri, 22 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2005-10058.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/lmcs/Slavnov19,
  author       = {Sergey Slavnov},
  title        = {On noncommutative extensions of linear logic},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {15},
  number       = {3},
  year         = {2019},
  url          = {https://doi.org/10.23638/LMCS-15(3:30)2019},
  doi          = {10.23638/LMCS-15(3:30)2019},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/lmcs/Slavnov19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/mscs/Slavnov19,
  author       = {Sergey Slavnov},
  title        = {On Banach spaces of sequences and free linear logic exponential modality},
  journal      = {Math. Struct. Comput. Sci.},
  volume       = {29},
  number       = {2},
  pages        = {215--242},
  year         = {2019},
  url          = {https://doi.org/10.1017/S0960129517000251},
  doi          = {10.1017/S0960129517000251},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/mscs/Slavnov19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-1911-03962,
  author       = {Sergey Slavnov},
  title        = {Classical linear logic, cobordisms and categorial grammars},
  journal      = {CoRR},
  volume       = {abs/1911.03962},
  year         = {2019},
  url          = {http://arxiv.org/abs/1911.03962},
  eprinttype    = {arXiv},
  eprint       = {1911.03962},
  timestamp    = {Wed, 04 Dec 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1911-03962.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-1803-06005,
  author       = {Sergey Slavnov},
  title        = {Noncommutative coherence spaces for full linear logic},
  journal      = {CoRR},
  volume       = {abs/1803.06005},
  year         = {2018},
  url          = {http://arxiv.org/abs/1803.06005},
  eprinttype    = {arXiv},
  eprint       = {1803.06005},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1803-06005.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-1810-02047,
  author       = {Sergey Slavnov},
  title        = {Commutative linear logic as a multiple context-free grammar},
  journal      = {CoRR},
  volume       = {abs/1810.02047},
  year         = {2018},
  url          = {http://arxiv.org/abs/1810.02047},
  eprinttype    = {arXiv},
  eprint       = {1810.02047},
  timestamp    = {Tue, 30 Oct 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1810-02047.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/Slavnov17,
  author       = {Sergey Slavnov},
  title        = {On noncommutative extensions of linear logic},
  journal      = {CoRR},
  volume       = {abs/1703.10092},
  year         = {2017},
  url          = {http://arxiv.org/abs/1703.10092},
  eprinttype    = {arXiv},
  eprint       = {1703.10092},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/Slavnov17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/Slavnov16a,
  author       = {Sergey Slavnov},
  title        = {On partial traces and compactification of *-autonomous Mix-categories},
  journal      = {CoRR},
  volume       = {abs/1608.01560},
  year         = {2016},
  url          = {http://arxiv.org/abs/1608.01560},
  eprinttype    = {arXiv},
  eprint       = {1608.01560},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/Slavnov16a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/Slavnov15,
  author       = {Sergey Slavnov},
  title        = {On Banach spaces of sequences and free linear logic exponential modality},
  journal      = {CoRR},
  volume       = {abs/1509.03853},
  year         = {2015},
  url          = {http://arxiv.org/abs/1509.03853},
  eprinttype    = {arXiv},
  eprint       = {1509.03853},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/Slavnov15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/Slavnov14,
  author       = {Sergey Slavnov},
  title        = {Modeling linear logic with implicit functions},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {165},
  number       = {1},
  pages        = {357--370},
  year         = {2014},
  url          = {https://doi.org/10.1016/j.apal.2013.07.018},
  doi          = {10.1016/J.APAL.2013.07.018},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/Slavnov14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/Slavnov14,
  author       = {Sergey Slavnov},
  title        = {Linear logic with idempotent exponential modalities: a note},
  journal      = {CoRR},
  volume       = {abs/1407.5988},
  year         = {2014},
  url          = {http://arxiv.org/abs/1407.5988},
  eprinttype    = {arXiv},
  eprint       = {1407.5988},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/Slavnov14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acs/BlutePS12,
  author       = {Richard Blute and
                  Prakash Panangaden and
                  Sergey Slavnov},
  title        = {Deep Inference and Probabilistic Coherence Spaces},
  journal      = {Appl. Categorical Struct.},
  volume       = {20},
  number       = {3},
  pages        = {209--228},
  year         = {2012},
  url          = {https://doi.org/10.1007/s10485-010-9241-0},
  doi          = {10.1007/S10485-010-9241-0},
  timestamp    = {Tue, 29 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acs/BlutePS12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Slavnov06,
  author       = {Sergey Slavnov},
  title        = {Geometrical semantics for linear logic (multiplicative fragment)},
  journal      = {Theor. Comput. Sci.},
  volume       = {357},
  number       = {1-3},
  pages        = {215--229},
  year         = {2006},
  url          = {https://doi.org/10.1016/j.tcs.2006.03.020},
  doi          = {10.1016/J.TCS.2006.03.020},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Slavnov06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/Slavnov05,
  author       = {Sergey Slavnov},
  title        = {Coherent phase spaces. Semiclassical semantics},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {131},
  number       = {1-3},
  pages        = {177--225},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.apal.2004.05.003},
  doi          = {10.1016/J.APAL.2004.05.003},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/Slavnov05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/mscs/Slavnov05,
  author       = {Sergey Slavnov},
  title        = {From proof-nets to bordisms: the geometric meaning of multiplicative
                  connectives},
  journal      = {Math. Struct. Comput. Sci.},
  volume       = {15},
  number       = {6},
  pages        = {1151--1178},
  year         = {2005},
  url          = {https://doi.org/10.1017/S0960129505004974},
  doi          = {10.1017/S0960129505004974},
  timestamp    = {Wed, 01 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/mscs/Slavnov05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

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.