van Dijk, Emma; Ripley, David; Gutierrez, Julian Core type theory. (English) Zbl 07811412 Bull. Sect. Log., Univ. Łódź, Dep. Log. 52, No. 2, 145-186 (2023). MSC: 03A05 03B38 03B47 03F05 PDFBibTeX XMLCite \textit{E. van Dijk} et al., Bull. Sect. Log., Univ. Łódź, Dep. Log. 52, No. 2, 145--186 (2023; Zbl 07811412) Full Text: DOI
Díaz-Caro, Alejandro; Dowek, Gilles Extensional proofs in a propositional logic modulo isomorphisms. (English) Zbl 07751512 Theor. Comput. Sci. 977, Article ID 114172, 17 p. (2023). MSC: 68Qxx PDFBibTeX XMLCite \textit{A. Díaz-Caro} and \textit{G. Dowek}, Theor. Comput. Sci. 977, Article ID 114172, 17 p. (2023; Zbl 07751512) Full Text: DOI arXiv
Balabonski, Thibaut; Lanco, Antoine; Melquiond, Guillaume A strong call-by-need calculus. (English) Zbl 07731910 Log. Methods Comput. Sci. 19, No. 1, Paper No. 21, 39 p. (2023). MSC: 03B70 68-XX PDFBibTeX XMLCite \textit{T. Balabonski} et al., Log. Methods Comput. Sci. 19, No. 1, Paper No. 21, 39 p. (2023; Zbl 07731910) Full Text: DOI arXiv
Battyányi, Péter; Nour, Karim Normalization in the simply typed \(\lambda \mu \mu'\rho \theta \varepsilon\)-calculus. (English) Zbl 07680179 Math. Struct. Comput. Sci. 32, No. 8, 1066-1098 (2022). MSC: 03B40 03B38 PDFBibTeX XMLCite \textit{P. Battyányi} and \textit{K. Nour}, Math. Struct. Comput. Sci. 32, No. 8, 1066--1098 (2022; Zbl 07680179) Full Text: DOI
Stirton, William Barendregt’s problem #26 and combinatory strong reduction. (English) Zbl 07627938 Berger, Ulrich (ed.) et al., Revolutions and revelations in computability. 18th conference on computability in Europe, CiE 2022, Swansea, UK, July 11–15, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13359, 313-326 (2022). MSC: 68Qxx PDFBibTeX XMLCite \textit{W. Stirton}, Lect. Notes Comput. Sci. 13359, 313--326 (2022; Zbl 07627938) Full Text: DOI
Ricciotti, Wilmer; Cheney, James Strongly-normalizing higher-order relational queries. (English) Zbl 07596571 Log. Methods Comput. Sci. 18, No. 3, Paper No. 23, 41 p. (2022). MSC: 03B70 68-XX PDFBibTeX XMLCite \textit{W. Ricciotti} and \textit{J. Cheney}, Log. Methods Comput. Sci. 18, No. 3, Paper No. 23, 41 p. (2022; Zbl 07596571) Full Text: DOI arXiv
Balabonski, Thibaut; Lanco, Antoine; Melquiond, Guillaume A strong call-by-need calculus. (English) Zbl 07700614 Kobayashi, Naoki (ed.), 6th international conference on formal structures for computation and deduction, FSCD 2021, Buenos Aires, Argentina, virtual conference, July 17–24, 2021. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 195, Article 9, 22 p. (2021). MSC: 68-XX 03B70 68Qxx PDFBibTeX XMLCite \textit{T. Balabonski} et al., LIPIcs -- Leibniz Int. Proc. Inform. 195, Article 9, 22 p. (2021; Zbl 07700614) Full Text: DOI arXiv
Guidi, Ferruccio A formal system for the universal quantification of schematic variables. (English) Zbl 1508.68040 ACM Trans. Comput. Log. 23, No. 1, Article No. 2, 37 p. (2021). MSC: 68N18 03B40 PDFBibTeX XMLCite \textit{F. Guidi}, ACM Trans. Comput. Log. 23, No. 1, Article No. 2, 37 p. (2021; Zbl 1508.68040) Full Text: DOI arXiv
Cossart, Vincent; Schober, Bernd Characteristic polyhedra of singularities without completion. II. (English) Zbl 1481.14003 Collect. Math. 72, No. 2, 351-392 (2021); correction ibid. 73, No. 3, 565-566 (2022). Reviewer: Aleksandr G. Aleksandrov (Moskva) MSC: 14B05 32S45 PDFBibTeX XMLCite \textit{V. Cossart} and \textit{B. Schober}, Collect. Math. 72, No. 2, 351--392 (2021; Zbl 1481.14003) Full Text: DOI arXiv
Espírito, Santo José The call-by-value \(\lambda\)-calculus with generalized applications. (English) Zbl 07650848 Fernández, Maribel (ed.) et al., 28th EACSL annual conference on computer science logic, CSL 2020, Barcelona, Spain, January 13–16, 2020. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 152, Article 35, 12 p. (2020). MSC: 68-XX 03B70 PDFBibTeX XMLCite \textit{S. J. Espírito}, LIPIcs -- Leibniz Int. Proc. Inform. 152, Article 35, 12 p. (2020; Zbl 07650848) Full Text: DOI
Battyányi, Péter; Nour, Karim Normalization proofs for the un-typed \(\mu\mu^\prime\)-calculus. (English) Zbl 1484.03021 AIMS Math. 5, No. 4, 3702-3713 (2020). MSC: 03B40 03F05 PDFBibTeX XMLCite \textit{P. Battyányi} and \textit{K. Nour}, AIMS Math. 5, No. 4, 3702--3713 (2020; Zbl 1484.03021) Full Text: DOI
Bomanson, Jori; Janhunen, Tomi; Niemelä, Ilkka Applying visible strong equivalence in answer-set program transformations. (English) Zbl 1502.68059 ACM Trans. Comput. Log. 21, No. 4, Article No. 33, 41 p. (2020). MSC: 68N17 68Q60 PDFBibTeX XMLCite \textit{J. Bomanson} et al., ACM Trans. Comput. Log. 21, No. 4, Article No. 33, 41 p. (2020; Zbl 1502.68059) Full Text: DOI
Weber, Matthias An extended type system with lambda-typed lambda-expressions. (English) Zbl 1516.03007 Log. Methods Comput. Sci. 16, No. 4, Paper No. 12, 50 p. (2020). MSC: 03B40 PDFBibTeX XMLCite \textit{M. Weber}, Log. Methods Comput. Sci. 16, No. 4, Paper No. 12, 50 p. (2020; Zbl 1516.03007) Full Text: arXiv Link
Laurent, Olivier Polynomial time in untyped elementary linear logic. (English) Zbl 1481.03067 Theor. Comput. Sci. 813, 117-142 (2020). MSC: 03F52 68Q15 PDFBibTeX XMLCite \textit{O. Laurent}, Theor. Comput. Sci. 813, 117--142 (2020; Zbl 1481.03067) Full Text: DOI HAL
Downen, Paul; Johnson-Freyd, Philip; Ariola, Zena M. Abstracting models of strong normalization for classical calculi. (English) Zbl 1494.68055 J. Log. Algebr. Methods Program. 111, Article ID 100512, 27 p. (2020). MSC: 68N30 03B40 03B70 68N18 PDFBibTeX XMLCite \textit{P. Downen} et al., J. Log. Algebr. Methods Program. 111, Article ID 100512, 27 p. (2020; Zbl 1494.68055) Full Text: DOI Link
Pascucci, Matteo Propositional quantifiers in labelled natural deduction for normal modal logic. (English) Zbl 1494.03052 Log. J. IGPL 27, No. 6, 865-894 (2019). MSC: 03B45 03F05 PDFBibTeX XMLCite \textit{M. Pascucci}, Log. J. IGPL 27, No. 6, 865--894 (2019; Zbl 1494.03052) Full Text: DOI
Belova, E.; Belova, O. About an analogue of Neifeld’s connection on the space of centred planes with one-index basic-fibre forms. (Russian. English summary) Zbl 1450.53013 Differ. Geom. Mnogoobr. Figur 50, 41-47 (2019). MSC: 53A20 53B15 PDFBibTeX XMLCite \textit{E. Belova} and \textit{O. Belova}, Differ. Geom. Mnogoobr. Figur 50, 41--47 (2019; Zbl 1450.53013) Full Text: DOI
Geuvers, Herman; van der Giessen, Iris; Hurkens, Tonny Strong normalization for truth table natural deduction. (English) Zbl 1454.03076 Fundam. Inform. 170, No. 1-3, 139-176 (2019). Reviewer: Annika Kanckos (Helsinki) MSC: 03F05 03B40 PDFBibTeX XMLCite \textit{H. Geuvers} et al., Fundam. Inform. 170, No. 1--3, 139--176 (2019; Zbl 1454.03076) Full Text: DOI
Downen, Paul; Ariola, Zena M.; Ghilezan, Silvia The duality of classical intersection and union types. (English) Zbl 1446.03034 Fundam. Inform. 170, No. 1-3, 39-92 (2019). MSC: 03B40 68N18 PDFBibTeX XMLCite \textit{P. Downen} et al., Fundam. Inform. 170, No. 1--3, 39--92 (2019; Zbl 1446.03034) Full Text: DOI
Takahashi, Yuta; Takemura, Ryo Completeness of second-order intuitionistic propositional logic with respect to phase semantics for proof-terms. (English) Zbl 1457.03023 J. Philos. Log. 48, No. 3, 553-570 (2019). MSC: 03B05 03B16 03B20 PDFBibTeX XMLCite \textit{Y. Takahashi} and \textit{R. Takemura}, J. Philos. Log. 48, No. 3, 553--570 (2019; Zbl 1457.03023) Full Text: DOI
Belova, O. About an analogue of Neifeld’s connection on the space of centred planes with two-index basic-fibre forms. (Russian. English summary) Zbl 1450.53024 Differ. Geom. Mnogoobr. Figur 49, 29-35 (2018). MSC: 53B05 53A20 53C30 PDFBibTeX XMLCite \textit{O. Belova}, Differ. Geom. Mnogoobr. Figur 49, 29--35 (2018; Zbl 1450.53024) Full Text: Link
Huang, Jian-Wen; Wang, Jian-Jun Higher order asymptotic behaviour of partial maxima of random sample from generalized Maxwell distribution under power normalization. (English) Zbl 1399.60046 Appl. Math., Ser. B (Engl. Ed.) 33, No. 2, 177-187 (2018). MSC: 60F15 60G70 PDFBibTeX XMLCite \textit{J.-W. Huang} and \textit{J.-J. Wang}, Appl. Math., Ser. B (Engl. Ed.) 33, No. 2, 177--187 (2018; Zbl 1399.60046) Full Text: DOI
Akama, Yohji The confluent terminating context-free substitutive rewriting system for the lambda-calculus with surjective pairing and terminal type. (English) Zbl 1434.68213 Miller, Dale (ed.), 2nd international conference on formal structures for computation and deduction. FSCD 2017, Oxford, UK, September 3–9, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 84, Article 6, 19 p. (2017). MSC: 68Q42 03B40 PDFBibTeX XMLCite \textit{Y. Akama}, LIPIcs -- Leibniz Int. Proc. Inform. 84, Article 6, 19 p. (2017; Zbl 1434.68213) Full Text: DOI
Ricciotti, Wilmer; Cheney, James Strongly normalizing audited computation. (English) Zbl 1434.03059 Goranko, Valentin (ed.) et al., 26th EACSL annual conference on computer science logic, CSL 2017, Stockholm, Sweden, August 20–24, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 82, Article 36, 21 p. (2017). MSC: 03B40 03F05 03B42 68N18 PDFBibTeX XMLCite \textit{W. Ricciotti} and \textit{J. Cheney}, LIPIcs -- Leibniz Int. Proc. Inform. 82, Article 36, 21 p. (2017; Zbl 1434.03059) Full Text: DOI arXiv
Ferreira, Gilda \(\eta\)-conversions of IPC implemented in atomic F. (English) Zbl 1405.03091 Log. J. IGPL 25, No. 2, 115-130 (2017). MSC: 03F07 03B20 03B40 PDFBibTeX XMLCite \textit{G. Ferreira}, Log. J. IGPL 25, No. 2, 115--130 (2017; Zbl 1405.03091) Full Text: DOI Link
Hou, Jingyao; Liao, Xin; Peng, Zuoxiang Higher-order expansions of extremes from mixed skew-\(t\) distribution. (English) Zbl 1380.62081 Commun. Stat., Theory Methods 46, No. 20, 9949-9971 (2017). MSC: 62E20 60G70 60F15 60F05 PDFBibTeX XMLCite \textit{J. Hou} et al., Commun. Stat., Theory Methods 46, No. 20, 9949--9971 (2017; Zbl 1380.62081) Full Text: DOI arXiv
Battyanyi, Peter; Nour, Karim Strong normalization of \(\lambda^{\mathrm{Sym}}_{\mathrm{Prop}}\)- and \(\overline{\lambda}\mu\overline{\mu}^\ast\)-calculi. (English) Zbl 1459.03014 Log. Methods Comput. Sci. 13, No. 3, Paper No. 34, 22 p. (2017). MSC: 03B40 PDFBibTeX XMLCite \textit{P. Battyanyi} and \textit{K. Nour}, Log. Methods Comput. Sci. 13, No. 3, Paper No. 34, 22 p. (2017; Zbl 1459.03014) Full Text: DOI arXiv
Ferreira, Gilda Rasiowa-Harrop disjunction property. (English) Zbl 1417.03278 Stud. Log. 105, No. 3, 649-664 (2017). MSC: 03F03 03B20 03F05 03F07 PDFBibTeX XMLCite \textit{G. Ferreira}, Stud. Log. 105, No. 3, 649--664 (2017; Zbl 1417.03278) Full Text: DOI
Feng, Xinwei Self-normalized large deviations under sublinear expectation. (English) Zbl 1356.60046 Stat. Probab. Lett. 123, 77-83 (2017). MSC: 60F10 60F15 60G50 PDFBibTeX XMLCite \textit{X. Feng}, Stat. Probab. Lett. 123, 77--83 (2017; Zbl 1356.60046) Full Text: DOI
von Plato, Jan Explicit composition and its application in proofs of normalization. (English) Zbl 1528.03237 Piecha, Thomas (ed.) et al., Advances in proof-theoretic semantics. Cham: Springer. Trends Log. Stud. Log. Libr. 43, 139-152 (2016). MSC: 03F05 PDFBibTeX XMLCite \textit{J. von Plato}, Trends Log. Stud. Log. Libr. 43, 139--152 (2016; Zbl 1528.03237) Full Text: DOI
Bucciarelli, Antonio; Kesner, Delia; Ventura, Daniel Strong normalization through intersection types and memory. (English) Zbl 1394.03023 Benevides, Mario (ed.) et al., Proceedings of the 10th workshop on logical and semantic frameworks, with applications (LSFA 2015), Natal, Brazil, August 31 – September 1, 2015. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 323, 75-91 (2016). MSC: 03B40 03F05 PDFBibTeX XMLCite \textit{A. Bucciarelli} et al., Electron. Notes Theor. Comput. Sci. 323, 75--91 (2016; Zbl 1394.03023) Full Text: DOI
Akiyoshi, Ryota; Terui, Kazushige Strong normalization for the parameter-free polymorphic lambda calculus based on the \(\Omega\)-rule. (English) Zbl 1387.03010 Kesner, Delia (ed.) et al., 1st international conference on formal structures for computation and deduction, FSCD 2016, Porto, Portugal, June 22–26, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-010-1). LIPIcs – Leibniz International Proceedings in Informatics 52, Article 5, 15 p. (2016). MSC: 03B40 PDFBibTeX XMLCite \textit{R. Akiyoshi} and \textit{K. Terui}, LIPIcs -- Leibniz Int. Proc. Inform. 52, Article 5, 15 p. (2016; Zbl 1387.03010) Full Text: DOI
Ferreira, Fernando; Ferreira, Gilda An elementary proof of strong normalization for atomic \(\mathsf F\). (English) Zbl 1403.03120 Bull. Sect. Log., Univ. Łódź, Dep. Log. 45, No. 1, 1-16 (2016). MSC: 03F07 03B20 03B40 PDFBibTeX XMLCite \textit{F. Ferreira} and \textit{G. Ferreira}, Bull. Sect. Log., Univ. Łódź, Dep. Log. 45, No. 1, 1--16 (2016; Zbl 1403.03120) Full Text: DOI
Yang, Geng; Li, Tingting Expansions on extremes from logarithmic general error distribution under power normalization. (English) Zbl 1349.60084 Stat. Pap. 57, No. 3, 781-793 (2016). MSC: 60G70 60F15 PDFBibTeX XMLCite \textit{G. Yang} and \textit{T. Li}, Stat. Pap. 57, No. 3, 781--793 (2016; Zbl 1349.60084) Full Text: DOI
Zhang, Li-Xin Self-normalized moderate deviation and laws of the iterated logarithm under \(G\)-expectation. (English) Zbl 1343.60024 Commun. Math. Stat. 4, No. 2, 229-263 (2016). MSC: 60F10 60F15 60F05 60H10 60G48 PDFBibTeX XMLCite \textit{L.-X. Zhang}, Commun. Math. Stat. 4, No. 2, 229--263 (2016; Zbl 1343.60024) Full Text: DOI arXiv
de Carvalho, Daniel; Tortora de Falco, Lorenzo A semantic account of strong normalization in linear logic. (English) Zbl 1353.03077 Inf. Comput. 248, 104-129 (2016). Reviewer: Gilda Ferreira (Lisboa) MSC: 03F52 03F05 03F07 03B70 18C50 PDFBibTeX XMLCite \textit{D. de Carvalho} and \textit{L. Tortora de Falco}, Inf. Comput. 248, 104--129 (2016; Zbl 1353.03077) Full Text: DOI arXiv
Fu, Ke Ang; Huang, Wei A self-normalized law of the iterated logarithm for the geometrically weighted random series. (English) Zbl 1335.60034 Acta Math. Sin., Engl. Ser. 32, No. 3, 384-392 (2016). MSC: 60F15 60G50 PDFBibTeX XMLCite \textit{K. A. Fu} and \textit{W. Huang}, Acta Math. Sin., Engl. Ser. 32, No. 3, 384--392 (2016; Zbl 1335.60034) Full Text: DOI
Guerrieri, Giulio Head reduction and normalization in a call-by-value lambda-calculus. (English) Zbl 1428.68100 Chiba, Yuki (ed.) et al., Second international workshop on rewriting techniques for program transformations and evaluation, WPTE’15, Warsaw, Poland, July 2, 2015. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. OASIcs – OpenAccess Ser. Inform. 46, 3-17 (2015). MSC: 68N18 PDFBibTeX XMLCite \textit{G. Guerrieri}, OASIcs -- OpenAccess Ser. Inform. 46, 3--17 (2015; Zbl 1428.68100) Full Text: DOI
Jouannaud, Jean-Pierre; Li, Jianqi Termination of dependently typed rewrite rules. (English) Zbl 1367.68140 Altenkirch, Thorsten (ed.), 13th international conference on typed lambda calculi and applications, TLCA’15, Warsaw, Poland, July 1–3, 2015. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-87-3). LIPIcs – Leibniz International Proceedings in Informatics 38, 257-272 (2015). MSC: 68Q42 68N18 PDFBibTeX XMLCite \textit{J.-P. Jouannaud} and \textit{J. Li}, LIPIcs -- Leibniz Int. Proc. Inform. 38, 257--272 (2015; Zbl 1367.68140) Full Text: DOI
Downen, Paul; Johnson-Freyd, Philip; Ariola, Zena M. Structures for structural recursion. (English) Zbl 1360.68361 Proceedings of the 20th ACM SIGPLAN international conference on functional programming, ICFP ’15, Vancouver, Canada, September 1–3, 2015. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-3669-7). 127-139 (2015). MSC: 68N30 03B70 68N18 PDFBibTeX XMLCite \textit{P. Downen} et al., in: Proceedings of the 20th ACM SIGPLAN international conference on functional programming, ICFP '15, Vancouver, Canada, September 1--3, 2015. New York, NY: Association for Computing Machinery (ACM). 127--139 (2015; Zbl 1360.68361) Full Text: DOI
Ferreira, Fernando; Ferreira, Gilda The faithfulness of \(\mathbf{F_{at}}\): a proof-theoretic proof. (English) Zbl 1378.03038 Stud. Log. 103, No. 6, 1303-1311 (2015). MSC: 03F07 03B20 03B40 PDFBibTeX XMLCite \textit{F. Ferreira} and \textit{G. Ferreira}, Stud. Log. 103, No. 6, 1303--1311 (2015; Zbl 1378.03038) Full Text: DOI
Balogh, Ferenc; Bertola, Marco; Lee, Seung-Yeop; McLaughlin, Kenneth D. T-R Strong asymptotics of the orthogonal polynomials with respect to a measure supported on the plane. (English) Zbl 1308.42025 Commun. Pure Appl. Math. 68, No. 1, 112-172 (2015). Reviewer: Sanjib Kumar Datta (Kalyani) MSC: 42C05 30C10 PDFBibTeX XMLCite \textit{F. Balogh} et al., Commun. Pure Appl. Math. 68, No. 1, 112--172 (2015; Zbl 1308.42025) Full Text: DOI arXiv
Pérez, Jorge A.; Caires, Luís; Pfenning, Frank; Toninho, Bernardo Linear logical relations and observational equivalences for session-based concurrency. (English) Zbl 1309.68141 Inf. Comput. 239, 254-302 (2014). MSC: 68Q85 03F52 PDFBibTeX XMLCite \textit{J. A. Pérez} et al., Inf. Comput. 239, 254--302 (2014; Zbl 1309.68141) Full Text: DOI
Vasudeva, R.; Kumari, J. Vasantha; Ravi, S. On the asymptotic behaviour of extremes and near maxima of random observations from the general error distributions. (English) Zbl 1305.60018 J. Appl. Probab. 51, No. 2, 528-541 (2014). Reviewer: Pedro A. Morettin (São Paulo) MSC: 60F05 60F15 60G70 62E20 PDFBibTeX XMLCite \textit{R. Vasudeva} et al., J. Appl. Probab. 51, No. 2, 528--541 (2014; Zbl 1305.60018) Full Text: DOI
Ko, Mi-Hwa Asymmetric complete convergence for weighted sums of martingale difference fields. (English) Zbl 1291.60058 Honam Math. J. 36, No. 1, 33-41 (2014). MSC: 60F15 62F15 60G60 PDFBibTeX XMLCite \textit{M.-H. Ko}, Honam Math. J. 36, No. 1, 33--41 (2014; Zbl 1291.60058) Full Text: DOI
Sacchini, Jorge Luis Type-based productivity of stream definitions in the calculus of constructions. (English) Zbl 1366.68254 Proceedings of the 2013 28th annual ACM/IEEE symposium on logic in computer science, LICS 2013, Tulane University, New Orleans, LA, USA, June 25–28, 2013. Los Alamitos, CA: IEEE Computer Society (ISBN 978-0-7695-5020-6). 233-242 (2013). MSC: 68T15 03B70 PDFBibTeX XMLCite \textit{J. L. Sacchini}, in: Proceedings of the 2013 28th annual ACM/IEEE symposium on logic in computer science, LICS 2013, Tulane University, New Orleans, LA, USA, June 25--28, 2013. Los Alamitos, CA: IEEE Computer Society. 233--242 (2013; Zbl 1366.68254) Full Text: DOI
Wang, Qian; Barras, Bruno Semantics of intensional type theory extended with decidable equational theories. (English) Zbl 1356.68205 Ronchi della Rocca, Simona (ed.), Computer science logic 2013. Selected papers of the 27th CSL workshop and 22nd annual conference of the European Association for Computer Science Logic (EACSL), Torino, Italy, September 2–5, 2013. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-60-6). LIPIcs – Leibniz International Proceedings in Informatics 23, 653-667 (2013). MSC: 68T15 03B35 PDFBibTeX XMLCite \textit{Q. Wang} and \textit{B. Barras}, LIPIcs -- Leibniz Int. Proc. Inform. 23, 653--667 (2013; Zbl 1356.68205) Full Text: DOI
Abel, Andreas M.; Pientka, Brigitte Wellfounded recursion with copatterns: a unified approach to termination and productivity. (English) Zbl 1323.68087 Proceedings of the 18th ACM SIGPLAN international conference on functional programming, ICFP ’13, Boston, MA, USA, September 25–27, 2013. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2326-0). ACM SIGPLAN Notices 48, No. 9, 185-196 (2013). MSC: 68N18 03B70 68P05 PDFBibTeX XMLCite \textit{A. M. Abel} and \textit{B. Pientka}, in: Proceedings of the 18th ACM SIGPLAN international conference on functional programming, ICFP '13, Boston, MA, USA, September 25--27, 2013. New York, NY: Association for Computing Machinery (ACM). 185--196 (2013; Zbl 1323.68087) Full Text: DOI
Olshen, Richard A.; Brajaratnam, Bala Correction to: “Successive normalization of rectangular arrays”. (English) Zbl 1283.62136 Ann. Stat. 41, No. 5, 2700-2702 (2013). MSC: 62H99 60F15 60G46 62H05 65C60 PDFBibTeX XMLCite \textit{R. A. Olshen} and \textit{B. Brajaratnam}, Ann. Stat. 41, No. 5, 2700--2702 (2013; Zbl 1283.62136) Full Text: DOI Euclid
Komori, Yuichi \(\lambda \rho\)-calculus. II. (English) Zbl 1280.03016 Tsukuba J. Math. 37, No. 2, 307-320 (2013). MSC: 03B40 03B05 PDFBibTeX XMLCite \textit{Y. Komori}, Tsukuba J. Math. 37, No. 2, 307--320 (2013; Zbl 1280.03016) Full Text: DOI Euclid
Runovska, M. K. Strong law of large numbers for scalar-normed sums of elements of regressive sequences of random variables. (English) Zbl 1289.60088 Ann. Univ. Sci. Budap. Rolando Eötvös, Sect. Comput. 39, 365-379 (2013). MSC: 60G50 65B10 60G15 40A05 PDFBibTeX XMLCite \textit{M. K. Runovska}, Ann. Univ. Sci. Budap. Rolando Eötvös, Sect. Comput. 39, 365--379 (2013; Zbl 1289.60088)
Ahn, Ki Yung; Sheard, Tim; Fiore, Marcelo; Pitts, Andrew M. System \(\mathrm F _{i }\). A higher-order polymorphic \(\lambda \)-calculus with erasable term-indices. (English) Zbl 1381.68044 Hasegawa, Masahito (ed.), Typed lambda calculi and applications. 11th international conference, TLCA 2013, Eindhoven, The Netherlands, June 26–28, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-38945-0/pbk). Lecture Notes in Computer Science 7941, 15-30 (2013). MSC: 68N30 03B40 68N15 68N18 68Q65 PDFBibTeX XMLCite \textit{K. Y. Ahn} et al., Lect. Notes Comput. Sci. 7941, 15--30 (2013; Zbl 1381.68044) Full Text: DOI
Ferreira, Fernando; Ferreira, Gilda Atomic polymorphism. (English) Zbl 1279.03035 J. Symb. Log. 78, No. 1, 260-274 (2013). Reviewer: Yaroslav Shramko (Kryvyi Rih) MSC: 03B40 03B20 PDFBibTeX XMLCite \textit{F. Ferreira} and \textit{G. Ferreira}, J. Symb. Log. 78, No. 1, 260--274 (2013; Zbl 1279.03035) Full Text: DOI Euclid Link
Kamide, Norihiro Strong normalization in some temporal substructural logics. (English) Zbl 1272.03080 J. Log. Comput. 23, No. 1, 1-24 (2013). MSC: 03B40 03B44 03B47 03F05 PDFBibTeX XMLCite \textit{N. Kamide}, J. Log. Comput. 23, No. 1, 1--24 (2013; Zbl 1272.03080) Full Text: DOI
Geuvers, Herman; Krebbers, Robbert; McKinna, James The \(\lambda \mu^{\mathbf{T}}\)-calculus. (English) Zbl 1273.03053 Ann. Pure Appl. Logic 164, No. 6, 676-701 (2013). Reviewer: Christoph Benzmüller (Berlin) MSC: 03B40 68N18 PDFBibTeX XMLCite \textit{H. Geuvers} et al., Ann. Pure Appl. Logic 164, No. 6, 676--701 (2013; Zbl 1273.03053) Full Text: DOI arXiv
Zhao, Zhibiao; Li, Xiaoye Inference for modulated stationary processes. (English) Zbl 1259.62077 Bernoulli 19, No. 1, 205-227 (2013). MSC: 62M09 62M07 62F10 60F05 62G09 60F17 65C05 PDFBibTeX XMLCite \textit{Z. Zhao} and \textit{X. Li}, Bernoulli 19, No. 1, 205--227 (2013; Zbl 1259.62077) Full Text: DOI arXiv Euclid
Miranda-Perea, Favio Ezequiel; González-Huesca, Lourdes Del Carmen Mendler-style iso-(co)inductive predicates: a strongly normalizing approach. (English) Zbl 1458.68039 Ronchi Della Rocca, Simona (ed.) et al., Proceedings of the 6th workshop on logical and semantic frameworks, with applications, Belo Horizonte, Brazil, August 27, 2011. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 81, 30-46 (2012). MSC: 68N30 03B16 03B70 PDFBibTeX XMLCite \textit{F. E. Miranda-Perea} and \textit{L. D. C. González-Huesca}, Electron. Proc. Theor. Comput. Sci. (EPTCS) 81, 30--46 (2012; Zbl 1458.68039) Full Text: arXiv Link
Rose, Kristoffer H.; Bloo, Roel; Lang, Frédéric On explicit substitution with names. (English) Zbl 1269.68044 J. Autom. Reasoning 49, No. 2, 275-300 (2012). MSC: 68N18 03B40 PDFBibTeX XMLCite \textit{K. H. Rose} et al., J. Autom. Reasoning 49, No. 2, 275--300 (2012; Zbl 1269.68044) Full Text: DOI
Piccolo, Mauro Strong normalization in the \(\pi \)-calculus with intersection and union types. (English) Zbl 1276.03028 Fundam. Inform. 121, No. 1-4, 227-252 (2012). Reviewer: Damas Gruska (Bratislava) MSC: 03B70 68Q85 PDFBibTeX XMLCite \textit{M. Piccolo}, Fundam. Inform. 121, No. 1--4, 227--252 (2012; Zbl 1276.03028) Full Text: DOI
Espírito Santo, José; Ivetić, Jelena; Likavec, Silvia Characterising strongly normalising intuitionistic terms. (English) Zbl 1277.03003 Fundam. Inform. 121, No. 1-4, 83-120 (2012). Reviewer: Valery Plisko (Moskva) MSC: 03B20 03B40 03F05 PDFBibTeX XMLCite \textit{J. Espírito Santo} et al., Fundam. Inform. 121, No. 1--4, 83--120 (2012; Zbl 1277.03003) Full Text: DOI
Kanovich, Max Light linear logics with controlled weakening: expressibility, confluent strong normalization. (English) Zbl 1239.03040 Ann. Pure Appl. Logic 163, No. 7, 854-874 (2012). Reviewer: Myriam Quatrini (Marseille) MSC: 03F52 03B70 03D15 03F05 68Q17 PDFBibTeX XMLCite \textit{M. Kanovich}, Ann. Pure Appl. Logic 163, No. 7, 854--874 (2012; Zbl 1239.03040) Full Text: DOI
Wilken, Gunnar; Weiermann, Andreas Derivation lengths classification of Gödel’s T extending Howard’s assignment. (English) Zbl 1238.03025 Log. Methods Comput. Sci. 8, No. 1, Paper No. 19, 44 p. (2012). MSC: 03B40 68Q42 PDFBibTeX XMLCite \textit{G. Wilken} and \textit{A. Weiermann}, Log. Methods Comput. Sci. 8, No. 1, Paper No. 19, 44 p. (2012; Zbl 1238.03025) Full Text: DOI arXiv
Cousineau, Denis On completeness of reducibility candidates as a semantics of strong normalization. (English) Zbl 1239.03033 Log. Methods Comput. Sci. 8, No. 1, Paper No. 3, 24 p. (2012). MSC: 03F05 PDFBibTeX XMLCite \textit{D. Cousineau}, Log. Methods Comput. Sci. 8, No. 1, Paper No. 3, 24 p. (2012; Zbl 1239.03033) Full Text: DOI arXiv
Manzonetto, Giulio; Tranquilli, Paolo Strong normalization of \(\mathsf{ML}^{\mathsf F}\) via a calculus of coercions. (English) Zbl 1238.03029 Theor. Comput. Sci. 417, 74-94 (2012). MSC: 03B70 68N30 PDFBibTeX XMLCite \textit{G. Manzonetto} and \textit{P. Tranquilli}, Theor. Comput. Sci. 417, 74--94 (2012; Zbl 1238.03029) Full Text: DOI
Accattoli, Beniamino Linear logic and strong normalization. (English) Zbl 1356.03102 van Raamsdonk, Femke (ed.), 24th international conference on rewriting techniques and applications (RTA 2013), Eindhoven, The Netherlands, June 24–26, 2013. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-53-8). LIPIcs – Leibniz International Proceedings in Informatics 21, 39-54 (2013). MSC: 03F52 03F05 03F07 68Q42 PDFBibTeX XMLCite \textit{B. Accattoli}, LIPIcs -- Leibniz Int. Proc. Inform. 21, 39--54 (2011; Zbl 1356.03102) Full Text: DOI
Crossley, John N. What is the difference between proofs and programs? (English) Zbl 1319.03044 van Benthem, Johan (ed.) et al., Proof, computation and agency. Logic at the crossroads. Dordrecht: Springer (ISBN 978-94-007-0920-1/set; 978-94-007-0079-6/hbk; 978-94-007-0080-2/ebook). Synthese Library 352, 81-97 (2011). MSC: 03B70 03B40 68N18 68Q60 PDFBibTeX XMLCite \textit{J. N. Crossley}, Synth. Libr. 352, 81--97 (2011; Zbl 1319.03044) Full Text: DOI
Paolini, Luca; Pimentel, Elaine; Ronchi Della Rocca, Simona Strong normalization from an unusual point of view. (English) Zbl 1222.03020 Theor. Comput. Sci. 412, No. 20, 1903-1915 (2011). MSC: 03B40 PDFBibTeX XMLCite \textit{L. Paolini} et al., Theor. Comput. Sci. 412, No. 20, 1903--1915 (2011; Zbl 1222.03020) Full Text: DOI
David, René A short proof that adding some permutation rules to \(\beta \) preserves SN. (English) Zbl 1211.68224 Theor. Comput. Sci. 412, No. 11, 1022-1026 (2011). MSC: 68Q42 03B40 68N18 PDFBibTeX XMLCite \textit{R. David}, Theor. Comput. Sci. 412, No. 11, 1022--1026 (2011; Zbl 1211.68224) Full Text: DOI arXiv
Zhang, Yong; Yang, Xiao-Yun An almost sure central limit theorem for self-normalized products of sums of i.i.d. random variables. (English) Zbl 1217.60025 J. Math. Anal. Appl. 376, No. 1, 29-41 (2011). Reviewer: Tadeusz Inglot (Wrocław) MSC: 60F15 60F05 PDFBibTeX XMLCite \textit{Y. Zhang} and \textit{X.-Y. Yang}, J. Math. Anal. Appl. 376, No. 1, 29--41 (2011; Zbl 1217.60025) Full Text: DOI
Aiguier, Marc; Longuet, Delphine Some general results about proof normalization. (English) Zbl 1255.03050 Log. Univers. 4, No. 1, 1-29 (2010). MSC: 03F05 03B22 03F07 PDFBibTeX XMLCite \textit{M. Aiguier} and \textit{D. Longuet}, Log. Univers. 4, No. 1, 1--29 (2010; Zbl 1255.03050) Full Text: DOI
David, René; Nour, Karim Strong normalization results by translation. (English) Zbl 1223.03037 Ann. Pure Appl. Logic 161, No. 9, 1171-1179 (2010). MSC: 03F05 03B40 PDFBibTeX XMLCite \textit{R. David} and \textit{K. Nour}, Ann. Pure Appl. Logic 161, No. 9, 1171--1179 (2010; Zbl 1223.03037) Full Text: DOI
Kamide, Norihiro Strong normalization theorems for quantized \(\lambda \)-calculi. (English) Zbl 1218.03014 Far East J. Appl. Math. 44, No. 1, 1-35 (2010). Reviewer: Martin W. Bunder (Wollongong) MSC: 03B40 03B47 81P10 PDFBibTeX XMLCite \textit{N. Kamide}, Far East J. Appl. Math. 44, No. 1, 1--35 (2010; Zbl 1218.03014) Full Text: Link
Manzonetto, Giulio; Tranquilli, Paolo Harnessing \(\mathrm{ML}^{\mathrm F}\) with the power of system F. (English) Zbl 1287.68022 Hliněný, Petr (ed.) et al., Mathematical foundations of computer science 2010. 35th international symposium, MFCS 2010, Brno, Czech Republic, August 23–27, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-15154-5/pbk). Lecture Notes in Computer Science 6281, 525-536 (2010). MSC: 68N18 03F52 PDFBibTeX XMLCite \textit{G. Manzonetto} and \textit{P. Tranquilli}, Lect. Notes Comput. Sci. 6281, 525--536 (2010; Zbl 1287.68022) Full Text: DOI
Olshen, Richard A.; Rajaratnam, Bala Successive normalization of rectangular arrays. (English) Zbl 1189.62109 Ann. Stat. 38, No. 3, 1638-1664 (2010); correction ibid. 41, No. 5, 2700-2702 (2013). MSC: 62H99 60F15 60G46 62H05 65C60 PDFBibTeX XMLCite \textit{R. A. Olshen} and \textit{B. Rajaratnam}, Ann. Stat. 38, No. 3, 1638--1664 (2010; Zbl 1189.62109) Full Text: DOI arXiv
De la Peña, Victor H.; Klass, Michael J.; Lai, Tze Leung Theory and applications of multivariate self-normalized processes. (English) Zbl 1190.60017 Stochastic Processes Appl. 119, No. 12, 4210-4227 (2009). Reviewer: Josef Steinebach (Köln) MSC: 60F10 60F15 60G44 60E15 PDFBibTeX XMLCite \textit{V. H. De la Peña} et al., Stochastic Processes Appl. 119, No. 12, 4210--4227 (2009; Zbl 1190.60017) Full Text: DOI
Wilken, Gunnar; Weiermann, Andreas Complexity of Gödel’s T in \(\lambda \)-formulation. (English) Zbl 1238.03024 Curien, Pierre-Louis (ed.), Typed lambda calculi and applications. 9th international conference, TLCA 2009, Brasilia, Brazil, July 1–3, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-02272-2/pbk). Lecture Notes in Computer Science 5608, 386-400 (2009). MSC: 03B40 68Q42 PDFBibTeX XMLCite \textit{G. Wilken} and \textit{A. Weiermann}, Lect. Notes Comput. Sci. 5608, 386--400 (2009; Zbl 1238.03024) Full Text: DOI
Tan, Changchun; Miao, Baiqi; Hui, Jun Nonparameter statistical inference for gamma distributions with change points. (Chinese. English summary) Zbl 1174.62366 J. Univ. Sci. Technol. China 38, No. 2, 149-156 (2008). MSC: 62G05 62G20 62G10 PDFBibTeX XMLCite \textit{C. Tan} et al., J. Univ. Sci. Technol. China 38, No. 2, 149--156 (2008; Zbl 1174.62366)
Wojdyga, Aleksander Short proofs of strong normalization. (English) Zbl 1173.03303 Ochmański, Edward (ed.) et al., Mathematical foundations of computer science 2008. 33rd international symposium, MFCS 2008, Toruń Poland, August 25–29, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-85237-7/pbk). Lecture Notes in Computer Science 5162, 613-623 (2008). MSC: 03B40 03F05 03F20 PDFBibTeX XMLCite \textit{A. Wojdyga}, Lect. Notes Comput. Sci. 5162, 613--623 (2008; Zbl 1173.03303) Full Text: DOI arXiv
Saurin, Alexis On the relations between the syntactic theories of \(\lambda \mu \)-calculi. (English) Zbl 1156.03317 Kaminski, Michael (ed.) et al., Computer science logic. 22nd international workshop, CSL 2008, 17th annual conference of the EACSL, Bertinoro, Italy, September 16–19, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-87530-7/pbk). Lecture Notes in Computer Science 5213, 154-168 (2008). MSC: 03B40 03B70 68N18 PDFBibTeX XMLCite \textit{A. Saurin}, Lect. Notes Comput. Sci. 5213, 154--168 (2008; Zbl 1156.03317) Full Text: DOI
Biasi, Corrado; Aschieri, Federico A term assignment for polarized bi-intuitionistic logic and its strong normalization. (English) Zbl 1245.03015 Fundam. Inform. 84, No. 2, 185-205 (2008). MSC: 03B20 03B40 03F05 PDFBibTeX XMLCite \textit{C. Biasi} and \textit{F. Aschieri}, Fundam. Inform. 84, No. 2, 185--205 (2008; Zbl 1245.03015)
Abel, Andreas Semi-continuous sized types and termination. (English) Zbl 1143.68013 Log. Methods Comput. Sci. 4, No. 2, Paper 3, 33 p. (2008). MSC: 68N30 68N18 PDFBibTeX XMLCite \textit{A. Abel}, Log. Methods Comput. Sci. 4, No. 2, Paper 3, 33 p. (2008; Zbl 1143.68013) Full Text: DOI
Boudol, Gérard On strong normalization and type inference in the intersection type discipline. (English) Zbl 1145.68010 Theor. Comput. Sci. 398, No. 1-3, 63-81 (2008). MSC: 68N18 03B40 PDFBibTeX XMLCite \textit{G. Boudol}, Theor. Comput. Sci. 398, No. 1--3, 63--81 (2008; Zbl 1145.68010) Full Text: DOI
Kikuchi, Kentaro Call-by-name reduction and cut-elimination in classical logic. (English) Zbl 1136.03036 Ann. Pure Appl. Logic 153, No. 1-3, 38-65 (2008). MSC: 03F05 03B05 03B40 03B70 PDFBibTeX XMLCite \textit{K. Kikuchi}, Ann. Pure Appl. Logic 153, No. 1--3, 38--65 (2008; Zbl 1136.03036) Full Text: DOI
Nakazawa, Koji; Tatsuta, Makoto Strong normalization of classical natural deduction with disjunctions. (English) Zbl 1141.03027 Ann. Pure Appl. Logic 153, No. 1-3, 21-37 (2008). Reviewer: M. Yasuhara (Princeton) MSC: 03F05 03B05 03B40 PDFBibTeX XMLCite \textit{K. Nakazawa} and \textit{M. Tatsuta}, Ann. Pure Appl. Logic 153, No. 1--3, 21--37 (2008; Zbl 1141.03027) Full Text: DOI
De La Peña, Victor H.; Klass, Michael J.; Lai, Tze Leung Pseudo-maximization and self-normalized processes. (English) Zbl 1189.60057 Probab. Surv. 4, 172-192 (2007). MSC: 60F10 60F15 60E15 60-02 PDFBibTeX XMLCite \textit{V. H. De La Peña} et al., Probab. Surv. 4, 172--192 (2007; Zbl 1189.60057) Full Text: DOI arXiv EuDML
Galoyan, Tigran M. Reduction in first-order logic compared with reduction in implicational logic. (English) Zbl 1168.03337 Australas. J. Log. 5, 58-65 (2007). MSC: 03F05 03B20 PDFBibTeX XMLCite \textit{T. M. Galoyan}, Australas. J. Log. 5, 58--65 (2007; Zbl 1168.03337)
Kanovich, Max A note on rewriting proofs and Fibonacci numbers. (English) Zbl 1133.05006 Artemov, Sergei N. (ed.) et al., Logical foundations of computer science. International symposium, LFCS 2007, New York, NY, USA, June 4–7, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-72732-3/pbk). Lecture Notes in Computer Science 4514, 284-292 (2007). MSC: 05A17 05A20 68Q42 68T15 PDFBibTeX XMLCite \textit{M. Kanovich}, Lect. Notes Comput. Sci. 4514, 284--292 (2007; Zbl 1133.05006) Full Text: DOI
Crégut, Pierre Strongly reducing variants of the Krivine abstract machine. (English) Zbl 1130.68052 High.-Order Symb. Comput. 20, No. 3, 209-230 (2007). MSC: 68Q05 03B40 PDFBibTeX XMLCite \textit{P. Crégut}, High.-Order Symb. Comput. 20, No. 3, 209--230 (2007; Zbl 1130.68052) Full Text: DOI
David, René; Nour, Karim Arithmetical proofs of strong normalization results for symmetric \(\lambda\)-calculi. (English) Zbl 1122.03008 Fundam. Inform. 77, No. 4, 489-510 (2007). Reviewer: Martin W. Bunder (Wollongong) MSC: 03B40 03F05 PDFBibTeX XMLCite \textit{R. David} and \textit{K. Nour}, Fundam. Inform. 77, No. 4, 489--510 (2007; Zbl 1122.03008) Full Text: arXiv
Ikeda, Satoshi; Nakazawa, Koji Strong normalization proofs by CPS-translations. (English) Zbl 1185.68625 Inf. Process. Lett. 99, No. 4, 163-170 (2006). MSC: 68T15 03B40 68N18 PDFBibTeX XMLCite \textit{S. Ikeda} and \textit{K. Nakazawa}, Inf. Process. Lett. 99, No. 4, 163--170 (2006; Zbl 1185.68625) Full Text: DOI
Vejjajiva, Pimpen Abbreviation templates. (English) Zbl 1107.03026 Southeast Asian Bull. Math. 30, No. 4, 763-777 (2006). MSC: 03B70 03B15 03F05 PDFBibTeX XMLCite \textit{P. Vejjajiva}, Southeast Asian Bull. Math. 30, No. 4, 763--777 (2006; Zbl 1107.03026)
Simonsen, Jakob Grue On modularity in infinitary term rewriting. (English) Zbl 1104.68057 Inf. Comput. 204, No. 6, 957-988 (2006). MSC: 68Q42 PDFBibTeX XMLCite \textit{J. G. Simonsen}, Inf. Comput. 204, No. 6, 957--988 (2006; Zbl 1104.68057) Full Text: DOI
Matthes, Ralph Stabilization – an alternative to double-negation translation for classical natural deduction. (English) Zbl 1102.03008 Stoltenberg-Hansen, Viggo (ed.) et al., Logic colloquium ’03. Proceedings of the annual European summer meeting of the Association for Symbolic Logic (ASL), Helsinki, Finland, August 14–20, 2003. Wellesley, MA: A K Peters; Urbana, IL: Association for Symbolic Logic (ASL) (ISBN 1-56881-293-0/hbk; 1-56881-294-9/pbk). Lecture Notes in Logic 24, 167-199 (2006). MSC: 03B40 03F05 PDFBibTeX XMLCite \textit{R. Matthes}, Lect. Notes Log. 24, 167--199 (2006; Zbl 1102.03008)
Klop, Jan Willem; de Vrijer, Roel Infinitary normalization. (English) Zbl 1221.68110 Artemov, Sergei (ed.) et al., We will show them! Essays in honour of Dov Gabbay on his 60th birthday. Volume 2. London: College Publications (ISBN 1-904987-12-5/pbk; 1-904987-26-5/hbk). Tributes 2, 168-192 (2005). MSC: 68Q42 PDFBibTeX XMLCite \textit{J. W. Klop} and \textit{R. de Vrijer}, Tributes 2, 168--192 (2005; Zbl 1221.68110)
Kamide, Norihiro Natural deduction systems for Nelson’s paraconsistent logic and its neighbors. (English) Zbl 1185.03047 J. Appl. Non-Class. Log. 15, No. 4, 405-435 (2005). MSC: 03B53 03F05 PDFBibTeX XMLCite \textit{N. Kamide}, J. Appl. Non-Class. Log. 15, No. 4, 405--435 (2005; Zbl 1185.03047) Full Text: DOI
Koval, V. O. Bounded law of iterated logarithm for matrix-normalized sums of independent random vectors. (Ukrainian, English) Zbl 1123.60017 Teor. Jmovirn. Mat. Stat. 72, 63-66 (2005); translation in Theory Probab. Math. Stat. 72, 69-73 (2006). Reviewer: R. E. Maiboroda (Kyïv) MSC: 60F15 PDFBibTeX XMLCite \textit{V. O. Koval}, Teor. Ĭmovirn. Mat. Stat. 72, 63--66 (2005; Zbl 1123.60017); translation in Theory Probab. Math. Stat. 72, 69--73 (2006) Full Text: Link
Tatsuta, Makoto; Mints, Grigori A simple proof of second-order strong normalization with permutative conversions. (English) Zbl 1095.03057 Ann. Pure Appl. Logic 136, No. 1-2, 134-155 (2005). Reviewer: Reinhard Kahle (Coimbra) MSC: 03F05 03B15 03B40 PDFBibTeX XMLCite \textit{M. Tatsuta} and \textit{G. Mints}, Ann. Pure Appl. Logic 136, No. 1--2, 134--155 (2005; Zbl 1095.03057) Full Text: DOI
Matthes, Ralph Non-strictly positive fixed points for classical natural deduction. (English) Zbl 1066.03057 Ann. Pure Appl. Logic 133, No. 1-3, 205-230 (2005). Reviewer: M. Yasuhara (Princeton) MSC: 03F05 03B40 68N18 PDFBibTeX XMLCite \textit{R. Matthes}, Ann. Pure Appl. Logic 133, No. 1--3, 205--230 (2005; Zbl 1066.03057) Full Text: DOI
Abel, Andreas; Matthes, Ralph; Uustalu, Tarmo Iteration and coiteration schemes for higher-order and nested datatypes. (English) Zbl 1070.68093 Theor. Comput. Sci. 333, No. 1-2, 3-66 (2005). MSC: 68Q65 68N18 PDFBibTeX XMLCite \textit{A. Abel} et al., Theor. Comput. Sci. 333, No. 1--2, 3--66 (2005; Zbl 1070.68093) Full Text: DOI
Chen, Taolue; Li, Bin; Lü, Jian Extension of the formal system of the theory of expressions with arities and its strong normalization property. (Chinese. English summary) Zbl 1085.68029 J. Nanjing Univ., Nat. Sci. 40, No. 2, 156-163 (2004). MSC: 68N30 PDFBibTeX XMLCite \textit{T. Chen} et al., J. Nanjing Univ., Nat. Sci. 40, No. 2, 156--163 (2004; Zbl 1085.68029)