Calk, Cameron; Goubault, Eric; Malbos, Philippe; Struth, Georg Algebraic coherent confluence and higher globular Kleene algebras. (English) Zbl 1508.18018 Log. Methods Comput. Sci. 18, No. 4, Paper No. 9, 43 p. (2022). Reviewer: Hirokazu Nishimura (Tsukuba) MSC: 18N30 03B70 68Q42 PDFBibTeX XMLCite \textit{C. Calk} et al., Log. Methods Comput. Sci. 18, No. 4, Paper No. 9, 43 p. (2022; Zbl 1508.18018) Full Text: DOI arXiv
Ehrhard, Thomas Differentials and distances in probabilistic coherence spaces. (English) Zbl 1528.68064 Log. Methods Comput. Sci. 18, No. 3, Paper No. 2, 33 p. (2022). MSC: 68N18 03F52 68Q55 PDFBibTeX XMLCite \textit{T. Ehrhard}, Log. Methods Comput. Sci. 18, No. 3, Paper No. 2, 33 p. (2022; Zbl 1528.68064) Full Text: arXiv Link
Gogioso, Stefano; Zeng, William Generalised Mermin-type non-locality arguments. (English) Zbl 1418.81011 Log. Methods Comput. Sci. 15, No. 2, Paper No. 3, 51 p. (2019). MSC: 81P40 81P94 22E70 PDFBibTeX XMLCite \textit{S. Gogioso} and \textit{W. Zeng}, Log. Methods Comput. Sci. 15, No. 2, Paper No. 3, 51 p. (2019; Zbl 1418.81011) Full Text: arXiv
Zeilberger, Noam A sequent calculus for a semi-associative law. (English) Zbl 1515.03223 Log. Methods Comput. Sci. 15, No. 1, Paper No. 9, 23 p. (2019). MSC: 03F52 03F05 03B40 06A07 PDFBibTeX XMLCite \textit{N. Zeilberger}, Log. Methods Comput. Sci. 15, No. 1, Paper No. 9, 23 p. (2019; Zbl 1515.03223) Full Text: arXiv
Biernacki, Dariusz; Polesiuk, Piotr Logical relations for coherence of effect subtyping. (English) Zbl 1398.68080 Log. Methods Comput. Sci. 14, No. 1, Paper No. 11, 28 p. (2018). MSC: 68N15 03B70 68N18 68Q55 68T15 PDFBibTeX XMLCite \textit{D. Biernacki} and \textit{P. Polesiuk}, Log. Methods Comput. Sci. 14, No. 1, Paper No. 11, 28 p. (2018; Zbl 1398.68080) Full Text: DOI arXiv
Abdulla, Parosh Aziz; Atig, Mohamed Faouzi; Kaxiras, Stefanos; Leonardsson, Carl; Ros, Alberto; Zhu, Yunyun Mending fences with self-invalidation and self-downgrade. (English) Zbl 1459.68039 Log. Methods Comput. Sci. 14, No. 1, Paper No. 6, 33 p. (2018). MSC: 68N30 68M12 PDFBibTeX XMLCite \textit{P. A. Abdulla} et al., Log. Methods Comput. Sci. 14, No. 1, Paper No. 6, 33 p. (2018; Zbl 1459.68039) Full Text: DOI arXiv
Martins-Ferreira, Nelson; Montoli, Andrea; Sobral, Manuela On some categorical-algebraic conditions in \(S\)-protomodular categories. (English) Zbl 1388.18016 Log. Methods Comput. Sci. 13, No. 3, Paper No. 18, 11 p. (2017). Reviewer: Nasir Sohail (Waterloo) MSC: 18E99 08B05 08C05 18D35 18D15 PDFBibTeX XMLCite \textit{N. Martins-Ferreira} et al., Log. Methods Comput. Sci. 13, No. 3, Paper No. 18, 11 p. (2017; Zbl 1388.18016) Full Text: DOI arXiv
Kraus, Nicolai; Escardó, Martín; Coquand, Thierry; Altenkirch, Thorsten Notions of anonymous existence in Martin-Löf type theory. (English) Zbl 1377.03005 Log. Methods Comput. Sci. 13, No. 1, Paper No. 15, 36 p. (2017). Reviewer: Anthony Bordg (Praha) MSC: 03B15 03G30 03B70 68N18 PDFBibTeX XMLCite \textit{N. Kraus} et al., Log. Methods Comput. Sci. 13, No. 1, Paper No. 15, 36 p. (2017; Zbl 1377.03005) Full Text: DOI arXiv
Došen, Kosta; Petrić, Zoran Weak Cat-operads. (English) Zbl 1351.18010 Log. Methods Comput. Sci. 11, No. 1, Paper No. 10, 23 p. (2015). MSC: 18D50 03G30 08A55 18A15 18D05 18D20 52B10 55P48 PDFBibTeX XMLCite \textit{K. Došen} and \textit{Z. Petrić}, Log. Methods Comput. Sci. 11, No. 1, Paper No. 10, 23 p. (2015; Zbl 1351.18010) Full Text: DOI arXiv
Avron, Arnon; Zamansky, Anna Canonical calculi with \((n,k)\)-ary quantifiers. (English) Zbl 1151.03028 Log. Methods Comput. Sci. 4, No. 3, Paper 2, 23 p. (2008). MSC: 03F05 03B47 03C80 PDFBibTeX XMLCite \textit{A. Avron} and \textit{A. Zamansky}, Log. Methods Comput. Sci. 4, No. 3, Paper 2, 23 p. (2008; Zbl 1151.03028) Full Text: DOI