Dimonte, Vincenzo A Solovay-like model for singular generalized descriptive set theory. (English) Zbl 07628726 Topology Appl. 323, Article ID 108284, 11 p. (2023). MSC: 03E35 03E55 03E45 PDF BibTeX XML Cite \textit{V. Dimonte}, Topology Appl. 323, Article ID 108284, 11 p. (2023; Zbl 07628726) Full Text: DOI arXiv OpenURL
Kang, Jeongheung Liftings of absolutely summing operators on \(\mathcal{L}_1^\lambda\)-spaces. (English) Zbl 07597474 Korean J. Math. 30, No. 1, 147-154 (2022). MSC: 46B10 47B10 PDF BibTeX XML Cite \textit{J. Kang}, Korean J. Math. 30, No. 1, 147--154 (2022; Zbl 07597474) Full Text: DOI OpenURL
Bohonos, Adam; Płuciennik, Ryszard Uniform \(\lambda \)-property in Orlicz spaces. (English) Zbl 1497.46033 J. Convex Anal. 29, No. 2, 583-604 (2022). MSC: 46E30 46B20 46B22 PDF BibTeX XML Cite \textit{A. Bohonos} and \textit{R. Płuciennik}, J. Convex Anal. 29, No. 2, 583--604 (2022; Zbl 1497.46033) Full Text: Link OpenURL
He, Tao; Li, Shu-Hai; Ma, Li-Na; Tang, Huo Closure properties of generalized \(\lambda \)-Hadamard product for a class of meromorphic janowski functions. (English) Zbl 1484.30039 AIMS Math. 6, No. 2, 1715-1726 (2021). MSC: 30C65 30C45 PDF BibTeX XML Cite \textit{T. He} et al., AIMS Math. 6, No. 2, 1715--1726 (2021; Zbl 1484.30039) Full Text: DOI OpenURL
Beanland, Kevin; Chu, Hùng Việt The Schreier space does not have the uniform \(\lambda\)-property. (English) Zbl 1483.46013 Proc. Am. Math. Soc. 149, No. 12, 5131-5137 (2021). Reviewer: Olav Nygaard (Kristiansand) MSC: 46B20 PDF BibTeX XML Cite \textit{K. Beanland} and \textit{H. V. Chu}, Proc. Am. Math. Soc. 149, No. 12, 5131--5137 (2021; Zbl 1483.46013) Full Text: DOI arXiv OpenURL
Goldstein, Harrison; Hughes, John; Lampropoulos, Leonidas; Pierce, Benjamin C. Do judge a test by its cover. Combining combinatorial and property-based testing. (English) Zbl 1473.68044 Yoshida, Nobuko (ed.), Programming languages and systems. 30th European symposium on programming, ESOP 2021, held as part of the European joint conferences on theory and practice of software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12648, 264-291 (2021). MSC: 68N30 68N18 68N20 68Q65 68W20 PDF BibTeX XML Cite \textit{H. Goldstein} et al., Lect. Notes Comput. Sci. 12648, 264--291 (2021; Zbl 1473.68044) Full Text: DOI OpenURL
Bahidi, Fatima; Krichen, Bilel; Mefteh, Bilel Fixed point results in locally convex spaces with \(\tau\)-Krein-Šmulian property and applications. (English) Zbl 1489.47077 Fixed Point Theory 22, No. 2, 495-510 (2021). Reviewer: T. D. Narang (Amritsar) MSC: 47H10 47H08 47H30 45G10 PDF BibTeX XML Cite \textit{F. Bahidi} et al., Fixed Point Theory 22, No. 2, 495--510 (2021; Zbl 1489.47077) Full Text: Link OpenURL
Antunes, Leandro; Beanland, Kevin; Chu, Hùng Viẹt On the geometry of higher order Schreier spaces. (English) Zbl 1478.46011 Ill. J. Math. 65, No. 1, 47-69 (2021). Reviewer: Olav Nygaard (Kristiansand) MSC: 46B04 PDF BibTeX XML Cite \textit{L. Antunes} et al., Ill. J. Math. 65, No. 1, 47--69 (2021; Zbl 1478.46011) Full Text: DOI arXiv OpenURL
Cilia, Raffaella; Gutiérrez, Joaquín M. Injective dual Banach spaces and operator ideals. (English) Zbl 1481.47027 Mediterr. J. Math. 18, No. 1, Paper No. 12, 18 p. (2021). Reviewer: Elhadj Dahia (Bou Saâda) MSC: 47B10 46B03 46B28 PDF BibTeX XML Cite \textit{R. Cilia} and \textit{J. M. Gutiérrez}, Mediterr. J. Math. 18, No. 1, Paper No. 12, 18 p. (2021; Zbl 1481.47027) Full Text: DOI OpenURL
Ghawadrah, Ghadeer The descriptive complexity of approximation properties in an admissible topology. (English) Zbl 1459.46021 Fundam. Math. 249, No. 3, 303-309 (2020). Reviewer: Jacopo Somaglia (Milano) MSC: 46B28 54H05 PDF BibTeX XML Cite \textit{G. Ghawadrah}, Fundam. Math. 249, No. 3, 303--309 (2020; Zbl 1459.46021) Full Text: DOI OpenURL
Espírito, Santo José; Pinto, Luís; Uustalu, Tarmo Modal embeddings and calling paradigms. (English) Zbl 07559284 Geuvers, Herman (ed.), 4th international conference on formal structures for computation and deduction, FSCD 2019, Dortmund, Germany, June 24–30, 2019. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 131, Article 18, 20 p. (2019). MSC: 03B70 68Qxx PDF BibTeX XML Cite \textit{S. J. Espírito} et al., LIPIcs -- Leibniz Int. Proc. Inform. 131, Article 18, 20 p. (2019; Zbl 07559284) Full Text: DOI OpenURL
Zhang, Jin A relationship between \(\lambda\)-symmetries and first integrals for ordinary differential equations. (English) Zbl 1439.34005 Math. Methods Appl. Sci. 42, No. 18, 6139-6154 (2019). MSC: 34A05 34C14 PDF BibTeX XML Cite \textit{J. Zhang}, Math. Methods Appl. Sci. 42, No. 18, 6139--6154 (2019; Zbl 1439.34005) Full Text: DOI OpenURL
Abed, Mohammed Y.; Dehghani, Mahdi; Jahanipur, Ruhollah Approximate \(\rho_\lambda^v\)-orthogonality and its preservation. (English) Zbl 1439.46009 Ann. Funct. Anal. 10, No. 4, 483-495 (2019). MSC: 46B20 46C50 47B99 PDF BibTeX XML Cite \textit{M. Y. Abed} et al., Ann. Funct. Anal. 10, No. 4, 483--495 (2019; Zbl 1439.46009) Full Text: DOI Euclid OpenURL
Grigoryan, D. A. On the uniqueness of \(\beta\delta\)-normal form of typed \(\lambda\)-terms for the canonical notion of \(\delta\)-reduction. (English) Zbl 1493.68088 Proc. Yerevan State Univ., Phys. Math. Sci. 53, No. 1, 37-46 (2019). MSC: 68N18 03B40 PDF BibTeX XML Cite \textit{D. A. Grigoryan}, Proc. Yerevan State Univ., Phys. Math. Sci. 53, No. 1, 37--46 (2019; Zbl 1493.68088) OpenURL
Du, Wei-Shih Some generalizations of fixed point theorems of Caristi type and Mizoguchi-Takahashi type under relaxed conditions. (English) Zbl 07116134 Bull. Braz. Math. Soc. (N.S.) 50, No. 3, 603-624 (2019). MSC: 47H04 47H10 54H25 54C60 PDF BibTeX XML Cite \textit{W.-S. Du}, Bull. Braz. Math. Soc. (N.S.) 50, No. 3, 603--624 (2019; Zbl 07116134) Full Text: DOI OpenURL
Orilia, Francesco; Landini, Gregory Truth, predication and a family of contingent paradoxes. (English) Zbl 1457.03029 J. Philos. Log. 48, No. 1, 113-136 (2019). MSC: 03B38 03A05 03B40 PDF BibTeX XML Cite \textit{F. Orilia} and \textit{G. Landini}, J. Philos. Log. 48, No. 1, 113--136 (2019; Zbl 1457.03029) Full Text: DOI OpenURL
Tahlawi, H. M.; Alsahli, G. M. Bade-property; survey and comparison with \(\lambda\)-property, Russo-Dye theorem and extremally richness. (English) Zbl 1407.46013 Jordan J. Math. Stat. 11, No. 4, 363-382 (2018). MSC: 46B20 17C10 PDF BibTeX XML Cite \textit{H. M. Tahlawi} and \textit{G. M. Alsahli}, Jordan J. Math. Stat. 11, No. 4, 363--382 (2018; Zbl 1407.46013) Full Text: Link OpenURL
Belbaki, Rabah; Karapinar, E.; Ould-Hammouda, Amar On Reich type \(\lambda-\alpha\)-nonexpansive mapping in Banach spaces with applications to \(L_1([0,1])\). (English) Zbl 1437.47045 Appl. Gen. Topol. 19, No. 2, 291-305 (2018). MSC: 47J26 47H09 47H07 PDF BibTeX XML Cite \textit{R. Belbaki} et al., Appl. Gen. Topol. 19, No. 2, 291--305 (2018; Zbl 1437.47045) Full Text: Link OpenURL
Ishii, Hiromi A purely functional computer algebra system embedded in Haskell. (English) Zbl 1453.68036 Gerdt, Vladimir P. (ed.) et al., Computer algebra in scientific computing. 20th international workshop, CASC 2018, Lille, France, September 17–21, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11077, 288-303 (2018). MSC: 68N18 68W30 PDF BibTeX XML Cite \textit{H. Ishii}, Lect. Notes Comput. Sci. 11077, 288--303 (2018; Zbl 1453.68036) Full Text: DOI arXiv OpenURL
Czajka, Łukasz Confluence of an extension of combinatory logic by Boolean constants. (English) Zbl 1434.03049 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 14, 16 p. (2017). MSC: 03B40 68Q42 PDF BibTeX XML Cite \textit{Ł. Czajka}, LIPIcs -- Leibniz Int. Proc. Inform. 84, Article 14, 16 p. (2017; Zbl 1434.03049) Full Text: DOI arXiv OpenURL
Lampropoulos, Leonidas; Gallois-Wong, Diane; Hriţcu, Cătălin; Hughes, John; Pierce, Benjamin C.; Xia, Li-yao Beginner’s Luck: a language for property-based generators. (English) Zbl 1380.68096 Castagna, Giuseppe (ed.) et al., Proceedings of the 44th annual ACM SIGPLAN symposium on principles of programming languages, POPL ’17, Paris, France, January 15–21, 2017. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4660-3). 114-129 (2017). MSC: 68N18 PDF BibTeX XML Cite \textit{L. Lampropoulos} et al., in: Proceedings of the 44th annual ACM SIGPLAN symposium on principles of programming languages, POPL '17, Paris, France, January 15--21, 2017. New York, NY: Association for Computing Machinery (ACM). 114--129 (2017; Zbl 1380.68096) Full Text: DOI arXiv OpenURL
Desclés, Jean-Pierre A logical analysis of the Anselm’s Unum argumentum (from Proslogion). (English) Zbl 1420.03051 Log. Univers. 11, No. 1, 105-119 (2017). MSC: 03B60 03B40 03B65 PDF BibTeX XML Cite \textit{J.-P. Desclés}, Log. Univers. 11, No. 1, 105--119 (2017; Zbl 1420.03051) Full Text: DOI OpenURL
Piróg, Maciej; Wu, Nicolas String diagrams for free monads (functional pearl). (English) Zbl 1361.68047 Garrigue, Jacques (ed.) et al., Proceedings of the 21st ACM SIGPLAN international conference on functional programming, ICFP ’16, Nara, Japan, September 18–22, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4219-3). 490-501 (2016). MSC: 68N18 68N30 PDF BibTeX XML Cite \textit{M. Piróg} and \textit{N. Wu}, in: Proceedings of the 21st ACM SIGPLAN international conference on functional programming, ICFP '16, Nara, Japan, September 18--22, 2016. New York, NY: Association for Computing Machinery (ACM). 490--501 (2016; Zbl 1361.68047) Full Text: DOI Link OpenURL
Braha, Naim L. Some applications of summability theory. (English) Zbl 1359.40001 Dutta, Hemen (ed.) et al., Current topics in summability theory and applications. Singapore: Springer (ISBN 978-981-10-0912-9/hbk; 978-981-10-0913-6/ebook). 357-411 (2016). MSC: 40A05 40A35 46A45 46B45 46B20 40E05 40-02 PDF BibTeX XML Cite \textit{N. L. Braha}, in: Current topics in summability theory and applications. Singapore: Springer. 357--411 (2016; Zbl 1359.40001) Full Text: DOI OpenURL
Fergani, Nadir; Charef, Abdelfatah Process step response based fractional \(\operatorname{PI}^{\lambda}\operatorname{D}^{\mu}\) controller parameters tuning for desired closed loop response. (English) Zbl 1333.93116 Int. J. Syst. Sci., Princ. Appl. Syst. Integr. 47, No. 3, 521-532 (2016). MSC: 93B52 93B35 PDF BibTeX XML Cite \textit{N. Fergani} and \textit{A. Charef}, Int. J. Syst. Sci., Princ. Appl. Syst. Integr. 47, No. 3, 521--532 (2016; Zbl 1333.93116) Full Text: DOI OpenURL
Lim, Dongku; Qi, Feng On the Appell type \(\lambda\)-Changhee polynomials. (English) Zbl 1334.05014 J. Nonlinear Sci. Appl. 9, No. 4, 1872-1876 (2016). MSC: 05A30 05A40 11B68 11S80 PDF BibTeX XML Cite \textit{D. Lim} and \textit{F. Qi}, J. Nonlinear Sci. Appl. 9, No. 4, 1872--1876 (2016; Zbl 1334.05014) Full Text: DOI Link OpenURL
Bohonos, Adam; Płuciennik, Ryszard Uniform \(\lambda\)-property in \(L^1\cap L^\infty\). (English) Zbl 1360.46008 Commentat. Math. 55, No. 2, 171-181 (2015). Reviewer: Maria Fernanda Botelho (Memphis) MSC: 46B20 46B04 46E30 PDF BibTeX XML Cite \textit{A. Bohonos} and \textit{R. Płuciennik}, Commentat. Math. 55, No. 2, 171--181 (2015; Zbl 1360.46008) Full Text: DOI OpenURL
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 PDF BibTeX XML Cite \textit{F. Ferreira} and \textit{G. Ferreira}, Stud. Log. 103, No. 6, 1303--1311 (2015; Zbl 1378.03038) Full Text: DOI OpenURL
Popa, Sorin; Vaes, Stefaan Representation theory for subfactors, \(\lambda\)-lattices and \(C^\ast\)-tensor categories. (English) Zbl 1335.46055 Commun. Math. Phys. 340, No. 3, 1239-1280 (2015). Reviewer: Chris Heunen (Edinburgh) MSC: 46L37 46L35 22D25 PDF BibTeX XML Cite \textit{S. Popa} and \textit{S. Vaes}, Commun. Math. Phys. 340, No. 3, 1239--1280 (2015; Zbl 1335.46055) Full Text: DOI arXiv OpenURL
Abe, Yoshihiro Structural properties of ideals over \(\mathcal{P}_\kappa\lambda\). I. (English) Zbl 1337.03069 Tsukuba J. Math. 39, No. 1, 83-95 (2015). Reviewer: Pierre Matet (Caen) MSC: 03E05 03E35 03E55 PDF BibTeX XML Cite \textit{Y. Abe}, Tsukuba J. Math. 39, No. 1, 83--95 (2015; Zbl 1337.03069) Full Text: DOI Euclid OpenURL
Simonsen, Jakob Grue A confluent rewriting system having no computable, one-step, normalizing strategy. (English) Zbl 1354.68144 ACM Trans. Comput. Log. 16, No. 2, Article No. 10, 9 p. (2015). MSC: 68Q42 03B40 PDF BibTeX XML Cite \textit{J. G. Simonsen}, ACM Trans. Comput. Log. 16, No. 2, Article No. 10, 9 p. (2015; Zbl 1354.68144) Full Text: DOI OpenURL
Jamjoom, Fatmah B.; Siddiqui, Akhlaq A.; Tahlawi, Haifa M.; Peralta, Antonio M. Approximation and convex decomposition by extremals and the \(\lambda\)-function in JBW*-triples. (English) Zbl 1341.46010 Q. J. Math. 66, No. 2, 583-603 (2015). MSC: 46B20 46L70 PDF BibTeX XML Cite \textit{F. B. Jamjoom} et al., Q. J. Math. 66, No. 2, 583--603 (2015; Zbl 1341.46010) Full Text: DOI arXiv OpenURL
Wake, Preston Hecke algebras associated to \(\Lambda\)-adic modular forms. (English) Zbl 1325.11116 J. Reine Angew. Math. 700, 113-128 (2015). Reviewer: Thong Nguyen Quang Do (Besançon) MSC: 11R23 11F11 20C08 11F27 PDF BibTeX XML Cite \textit{P. Wake}, J. Reine Angew. Math. 700, 113--128 (2015; Zbl 1325.11116) Full Text: DOI arXiv OpenURL
Du, Wei-Shih On new generalizations of Smarzewski’s fixed point theorem. (English) Zbl 1390.46047 J. Inequal. Appl. 2014, Paper No. 493, 10 p. (2014). MSC: 46H10 47H09 46B20 PDF BibTeX XML Cite \textit{W.-S. Du}, J. Inequal. Appl. 2014, Paper No. 493, 10 p. (2014; Zbl 1390.46047) Full Text: DOI OpenURL
Endrullis, Joerg; Grabmayer, Clemens; Hendriks, Dimitri; Klop, Jan Willem; van Oostrom, Vincent Infinitary term rewriting for weakly orthogonal systems: properties and counterexamples. (English) Zbl 1290.68067 Log. Methods Comput. Sci. 10, No. 2, Paper No. 7, 33 p. (2014). MSC: 68Q42 03B40 PDF BibTeX XML Cite \textit{J. Endrullis} et al., Log. Methods Comput. Sci. 10, No. 2, Paper No. 7, 33 p. (2014; Zbl 1290.68067) Full Text: DOI arXiv OpenURL
Bohonos, Adam; Pluciennik, Ryszard \(\lambda\)-points in Orlicz spaces. (English) Zbl 1306.46009 J. Convex Anal. 21, No. 1, 147-166 (2014). MSC: 46B20 46E30 46E40 PDF BibTeX XML Cite \textit{A. Bohonos} and \textit{R. Pluciennik}, J. Convex Anal. 21, No. 1, 147--166 (2014; Zbl 1306.46009) Full Text: Link OpenURL
Oja, Eve Principle of local reflexivity respecting subspaces. (English) Zbl 1305.46007 Adv. Math. 258, 1-12 (2014). Reviewer: Elói M. Galego (Sao Paulo) MSC: 46B07 46B28 47B10 PDF BibTeX XML Cite \textit{E. Oja}, Adv. Math. 258, 1--12 (2014; Zbl 1305.46007) Full Text: DOI arXiv OpenURL
David, René; Nour, Karim About the range property for \(\mathcal H\). (English) Zbl 1315.03024 Log. Methods Comput. Sci. 10, No. 1, Paper No. 3, 18 p. (2014). MSC: 03B40 68N18 PDF BibTeX XML Cite \textit{R. David} and \textit{K. Nour}, Log. Methods Comput. Sci. 10, No. 1, Paper No. 3, 18 p. (2014; Zbl 1315.03024) Full Text: DOI arXiv OpenURL
Perez-Garcia, Cristina The Grothendieck approximation theory in non-Archimedean functional analysis. (English) Zbl 1334.46060 Shamseddine, Khodr (ed.), Advances in ultrametric analysis. Selected papers based on the presentations at the 12th international conference on \(p\)-adic functional analysis, Winnipeg, MB, Canada, July 2–6, 2012. Providence, RI: American Mathematical Society (AMS) (ISBN 978-0-8218-9142-1/pbk; 978-1-4704-1024-7/ebook). Contemporary Mathematics 596, 243-268 (2013). Reviewer: T. D. Narang (Amritsar) MSC: 46S10 46B28 PDF BibTeX XML Cite \textit{C. Perez-Garcia}, Contemp. Math. 596, 243--268 (2013; Zbl 1334.46060) Full Text: DOI OpenURL
Ketema, Jeroen; Simonsen, Jakob Grue Least upper bounds on the size of confluence and Church-Rosser diagrams in term rewriting and \(\lambda\)-calculus. (English) Zbl 1354.68143 ACM Trans. Comput. Log. 14, No. 4, Article No. 31, 28 p. (2013). MSC: 68Q42 03B40 03D20 PDF BibTeX XML Cite \textit{J. Ketema} and \textit{J. G. Simonsen}, ACM Trans. Comput. Log. 14, No. 4, Article No. 31, 28 p. (2013; Zbl 1354.68143) Full Text: DOI OpenURL
Endrullis, Jörg; Klop, Jan Willem De Bruijn’s weak diamond property revisited. (English) Zbl 1360.68533 Indag. Math., New Ser. 24, No. 4, 1050-1072 (2013). MSC: 68Q42 03B40 68T15 PDF BibTeX XML Cite \textit{J. Endrullis} and \textit{J. W. Klop}, Indag. Math., New Ser. 24, No. 4, 1050--1072 (2013; Zbl 1360.68533) Full Text: DOI OpenURL
Ma, Zhenhua; Cui, Yunan Some important geometric properties in Cesàro-Orlicz sequence spaces. (English) Zbl 1299.46017 Adv. Math., Beijing 42, No. 3, 348-354 (2013). MSC: 46B20 46B45 PDF BibTeX XML Cite \textit{Z. Ma} and \textit{Y. Cui}, Adv. Math., Beijing 42, No. 3, 348--354 (2013; Zbl 1299.46017) OpenURL
Li, Hui; Peng, Liang-Xue Pressing Down Lemma for \(\lambda \)-trees and its applications. (English) Zbl 1299.54069 Czech. Math. J. 63, No. 3, 763-775 (2013). Reviewer: Hans Peter Künzi (Rondebosch) MSC: 54F05 54F65 PDF BibTeX XML Cite \textit{H. Li} and \textit{L.-X. Peng}, Czech. Math. J. 63, No. 3, 763--775 (2013; Zbl 1299.54069) Full Text: DOI Link OpenURL
Usuba, Toshimichi Hierarchies of ineffabilities. (English) Zbl 1315.03079 Math. Log. Q. 59, No. 3, 230-237 (2013). MSC: 03E05 03E55 PDF BibTeX XML Cite \textit{T. Usuba}, Math. Log. Q. 59, No. 3, 230--237 (2013; Zbl 1315.03079) Full Text: DOI OpenURL
Bacci, Giovanni; Comini, Marco; Feliú, Marco A.; Villanueva, Alicia The additional difficulties for the automatic synthesis of specifications posed by logic features in functional-logic languages. (English) Zbl 1281.68075 Dovier, Agostino (ed.) et al., Technical communications of the 28th international conference on logic programming (ICLP 2012), September 4–8, 2012, Budapest, Hungary. Papers based on the presentations at the conference. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-43-9). LIPIcs – Leibniz International Proceedings in Informatics 17, 144-153, electronic only (2012). MSC: 68N30 68N17 68N18 PDF BibTeX XML Cite \textit{G. Bacci} et al., LIPIcs -- Leibniz Int. Proc. Inform. 17, 144--153 (2012; Zbl 1281.68075) Full Text: DOI OpenURL
Shi, Zhongrui; Zhai, Jiayu \(\lambda\) point and \(\lambda\) property in generalized Orlicz spaces with Luxemburg norm. (English) Zbl 1265.46052 J. East China Norm. Univ., Nat. Sci. Ed. 2012, No. 1, 63-73 (2012). MSC: 46E30 46B20 PDF BibTeX XML Cite \textit{Z. Shi} and \textit{J. Zhai}, J. East China Norm. Univ., Nat. Sci. Ed. 2012, No. 1, 63--73 (2012; Zbl 1265.46052) OpenURL
Kamareddine, Fairouz; Rahli, Vincent; Wells, J. B. Reducibility proofs in the \(\lambda \)-calculus. (English) Zbl 1277.03012 Fundam. Inform. 121, No. 1-4, 121-152 (2012). Reviewer: Martin W. Bunder (Wollongong) MSC: 03B40 PDF BibTeX XML Cite \textit{F. Kamareddine} et al., Fundam. Inform. 121, No. 1--4, 121--152 (2012; Zbl 1277.03012) Full Text: DOI OpenURL
Durán, Francisco; Meseguer, José On the Church-Rosser and coherence properties of conditional order-sorted rewrite theories. (English) Zbl 1272.03139 J. Log. Algebr. Program. 81, No. 7-8, 816-850 (2012). MSC: 03B70 68N18 68N19 68Q42 68Q60 PDF BibTeX XML Cite \textit{F. Durán} and \textit{J. Meseguer}, J. Log. Algebr. Program. 81, No. 7--8, 816--850 (2012; Zbl 1272.03139) Full Text: DOI OpenURL
Liu, Huili; Zhou, Xiaowen The compact support property for the \(\Lambda\)-Fleming-Viot process with underlying Brownian motion. (English) Zbl 1260.60098 Electron. J. Probab. 17, Paper No. 73, 20 p. (2012). MSC: 60G57 60J80 60G17 PDF BibTeX XML Cite \textit{H. Liu} and \textit{X. Zhou}, Electron. J. Probab. 17, Paper No. 73, 20 p. (2012; Zbl 1260.60098) Full Text: DOI arXiv OpenURL
Abe, Yoshihiro; Usuba, Toshimichi Notes on the partition property of \({\mathcal{P}_\kappa\lambda}\). (English) Zbl 1270.03073 Arch. Math. Logic 51, No. 5-6, 575-589 (2012). MSC: 03E05 03E55 PDF BibTeX XML Cite \textit{Y. Abe} and \textit{T. Usuba}, Arch. Math. Logic 51, No. 5--6, 575--589 (2012; Zbl 1270.03073) Full Text: DOI OpenURL
Saurin, Alexis Böhm theorem and Böhm trees for the \(\varLambda \mu\)-calculus. (English) Zbl 1244.68027 Theor. Comput. Sci. 435, 106-138 (2012). MSC: 68N18 03B40 PDF BibTeX XML Cite \textit{A. Saurin}, Theor. Comput. Sci. 435, 106--138 (2012; Zbl 1244.68027) Full Text: DOI OpenURL
Zhao, Shien; Guo, Tiexin The random subreflexivity of complete random normed modules. (English) Zbl 1253.46080 Int. J. Math. 23, No. 3, Article ID 1250047, 14 p. (2012). MSC: 46S50 46H25 46A20 PDF BibTeX XML Cite \textit{S. Zhao} and \textit{T. Guo}, Int. J. Math. 23, No. 3, Article ID 1250047, 14 p. (2012; Zbl 1253.46080) Full Text: DOI OpenURL
Trotsenko, D. A. Gromov hyperbolic discrete spaces and their application to extension of classes of mappings. (English. Russian original) Zbl 1279.30056 Dokl. Math. 83, No. 3, 344-347 (2011); translation from Dokl. Akad. Nauk 438, No. 3, 308-311 (2011). MSC: 30L99 30L10 30F99 PDF BibTeX XML Cite \textit{D. A. Trotsenko}, Dokl. Math. 83, No. 3, 344--347 (2011; Zbl 1279.30056); translation from Dokl. Akad. Nauk 438, No. 3, 308--311 (2011) Full Text: DOI OpenURL
Lin, Haibo; Nakai, Eiichi; Yang, Dachun Boundedness of Lusin-area and \(g^{\ast}_\lambda\) functions on localized Morrey-Campanato spaces over doubling metric measure spaces. (English) Zbl 1231.42017 J. Funct. Spaces Appl. 9, No. 3, 245-282 (2011). MSC: 42B25 42B35 46E30 PDF BibTeX XML Cite \textit{H. Lin} et al., J. Funct. Spaces Appl. 9, No. 3, 245--282 (2011; Zbl 1231.42017) Full Text: DOI OpenURL
Manzonetto, Giulio; Pagani, Michele Böhm’s theorem for resource lambda calculus through Taylor expansion. (English) Zbl 1331.68044 Ong, Luke (ed.), Typed lambda calculi and applications. 10th international conference, TLCA 2011, Novi Sad, Serbia, June 1–3, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-21690-9/pbk; 978-3-642-21691-6/ebook). Lecture Notes in Computer Science 6690, 153-168 (2011). MSC: 68N18 03B40 03F52 PDF BibTeX XML Cite \textit{G. Manzonetto} and \textit{M. Pagani}, Lect. Notes Comput. Sci. 6690, 153--168 (2011; Zbl 1331.68044) Full Text: DOI OpenURL
Lin, Haibo; Nakai, Eiichi; Yang, Dachun Boundedness of Lusin-area and functions on localized BMO spaces over doubling metric measure spaces. (English) Zbl 1220.42014 Bull. Sci. Math. 135, No. 1, 59-88 (2011). Reviewer: Kôzô Yabuta (Nishinomiya) MSC: 42B25 42B30 51F99 PDF BibTeX XML Cite \textit{H. Lin} et al., Bull. Sci. Math. 135, No. 1, 59--88 (2011; Zbl 1220.42014) Full Text: DOI arXiv OpenURL
Arocha, J. L.; Bracho, J.; Montejano, L.; Ramírez Alfonsín, J. L. Transversals to the convex hulls of all \(k\)-sets of discrete subsets of \(\mathbb R^n\). (English) Zbl 1231.05046 J. Comb. Theory, Ser. A 118, No. 1, 197-207 (2011). MSC: 05B25 52A35 05C65 05C15 PDF BibTeX XML Cite \textit{J. L. Arocha} et al., J. Comb. Theory, Ser. A 118, No. 1, 197--207 (2011; Zbl 1231.05046) Full Text: DOI OpenURL
Endrullis, Jörg; Grabmayer, Clemens; Hendriks, Dimitri; Klop, Jan Willem; van Oostrom, Vincent Unique normal forms in infinitary weakly orthogonal rewriting. (English) Zbl 1236.68127 Lynch, Christopher (ed.), Proceedings of the 21st international conference on rewriting techniques and applications (RTA 2010), July 11–13, 2010, Edinburgh, Scottland, UK. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-18-7). LIPIcs – Leibniz International Proceedings in Informatics 6, 85-102, electronic only (2010). MSC: 68Q42 68N18 03B40 PDF BibTeX XML Cite \textit{J. Endrullis} et al., LIPIcs -- Leibniz Int. Proc. Inform. 6, 85--102 (2010; Zbl 1236.68127) Full Text: DOI Link OpenURL
Lo Faro, Giovanni; Tripodi, Antoinette Diagonally switchable \(\lambda \)-fold 4-cycle systems, \(\lambda >1\). (English) Zbl 1249.05266 Ars Comb. 97, 3-15 (2010). MSC: 05C51 PDF BibTeX XML Cite \textit{G. Lo Faro} and \textit{A. Tripodi}, Ars Comb. 97, 3--15 (2010; Zbl 1249.05266) OpenURL
Zheng, Fu; Cui, Chengri; Li, Ronglu Abstract gliding hump properties in the vector-valued dual pair. (English) Zbl 1240.46017 Acta Anal. Funct. Appl. 12, No. 4, 322-327 (2010). MSC: 46A45 46B45 PDF BibTeX XML Cite \textit{F. Zheng} et al., Acta Anal. Funct. Appl. 12, No. 4, 322--327 (2010; Zbl 1240.46017) OpenURL
Boudol, Gérard Typing termination in a higher-order concurrent imperative language. (English) Zbl 1213.68159 Inf. Comput. 208, No. 6, 716-736 (2010). MSC: 68N15 68N18 PDF BibTeX XML Cite \textit{G. Boudol}, Inf. Comput. 208, No. 6, 716--736 (2010; Zbl 1213.68159) Full Text: DOI OpenURL
Martínez-De-La-Vega, Verónica New irreducible plane continua without the fixed point property. (English) Zbl 1195.54060 Topol. Proc. 36, 11-25 (2010). Reviewer: Alejandro Illanes (México, D.F.) MSC: 54F15 54H25 PDF BibTeX XML Cite \textit{V. Martínez-De-La-Vega}, Topol. Proc. 36, 11--25 (2010; Zbl 1195.54060) Full Text: Link OpenURL
Dobbs, David E. Recent progress on minimal ring extensions and related concepts. (English) Zbl 1378.13004 Int. J. Math. Game Theory Algebra 18, No. 3, 187-212 (2009). MSC: 13B99 13A15 13G05 13B21 13F05 PDF BibTeX XML Cite \textit{D. E. Dobbs}, Int. J. Math. Game Theory Algebra 18, No. 3, 187--212 (2009; Zbl 1378.13004) OpenURL
Kamareddine, Fairouz; Rahli, Vincent Simplified reducibility proofs of Church-Rosser for \({\beta}\)- and \({\beta}{\eta}\)-reduction. (English) Zbl 1311.03030 Horizonte, Belo (ed.) et al., Proceedings of the 3rd workshop on logical and semantic frameworks, with applications (LSFA 2008), Salvador, Brazil, August 26, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 247, 85-101 (2009). MSC: 03B40 PDF BibTeX XML Cite \textit{F. Kamareddine} and \textit{V. Rahli}, Electron. Notes Theor. Comput. Sci. 247, 85--101 (2009; Zbl 1311.03030) Full Text: DOI OpenURL
Lima-Ventura, Daniel; Ayala-Rincón, Mauricio; Kamareddine, Fairouz Intersection type system with de Bruijn indices. (English) Zbl 1226.03029 Carnielli, Walter (ed.) et al., The many sides of logic. Selected papers of the simultaneous conferences “CLE 30 – 30th Anniversary of the Centre for Logic, Epistemology and the History of Science”, “XV EBL – 15th Brazilian Logic Conference” and “XIV SLALM – 14th Latin-American Symposium on Mathematical Logic”, Paraty, Brazil, May 11–17, 2008. London: College Publications (ISBN 978-1-904987-78-9/pbk). Studies in Logic (London) 21, 557-576 (2009). MSC: 03B40 PDF BibTeX XML Cite \textit{D. Lima-Ventura} et al., Stud. Log. (Lond.) 21, 557--576 (2009; Zbl 1226.03029) OpenURL
Lévy, Jean-Jacques Generalized finite developments. (English) Zbl 1195.68028 Bertot, Yves (ed.) et al., From semantics to computer science. Essays in honour of Gilles Kahn. Cambridge: Cambridge University Press (ISBN 978-0-521-51825-3/hbk). 185-203 (2009). MSC: 68N18 03B40 PDF BibTeX XML Cite \textit{J.-J. Lévy}, in: From semantics to computer science. Essays in honour of Gilles Kahn. Cambridge: Cambridge University Press. 185--203 (2009; Zbl 1195.68028) OpenURL
Sakai, Masami Menger subsets of the Sorgenfrey line. (English) Zbl 1182.03077 Proc. Am. Math. Soc. 137, No. 9, 3129-3138 (2009). Reviewer: Tamás Mátrai (Highland Park) MSC: 03E15 54D20 54H05 PDF BibTeX XML Cite \textit{M. Sakai}, Proc. Am. Math. Soc. 137, No. 9, 3129--3138 (2009; Zbl 1182.03077) Full Text: DOI OpenURL
Lefèvre, Pascal; Rodríguez-Piazza, Luis Invariant means and thin sets in harmonic analysis with applications to prime numbers. (English) Zbl 1172.43004 J. Lond. Math. Soc., II. Ser. 80, No. 1, 72-84 (2009). Reviewer: Daniel Li (Lens) MSC: 43A46 42A55 42A20 43A77 PDF BibTeX XML Cite \textit{P. Lefèvre} and \textit{L. Rodríguez-Piazza}, J. Lond. Math. Soc., II. Ser. 80, No. 1, 72--84 (2009; Zbl 1172.43004) Full Text: DOI Link OpenURL
Wang, Huibin; Zhu, Yuefei; Chang, Qingmei Study of protocol composition logic. (Chinese. English summary) Zbl 1199.68015 J. Zhengzhou Univ., Nat. Sci. Ed. 40, No. 4, 56-59 (2008). MSC: 68M12 03B40 PDF BibTeX XML Cite \textit{H. Wang} et al., J. Zhengzhou Univ., Nat. Sci. Ed. 40, No. 4, 56--59 (2008; Zbl 1199.68015) OpenURL
Koletsos, George; Stavrinos, George Church-Rosser property and intersection types. (English) Zbl 1166.03005 Australas. J. Log. 6, 37-54 (2008). MSC: 03B40 PDF BibTeX XML Cite \textit{G. Koletsos} and \textit{G. Stavrinos}, Australas. J. Log. 6, 37--54 (2008; Zbl 1166.03005) OpenURL
Shi, Zhongrui; Ge, Shuangyin Bochner–Orlicz sequence spaces with \(\lambda\) property. (English) Zbl 1174.46309 J. Shanghai Univ. 12, No. 2, 95-96 (2008). MSC: 46B20 46B45 46E40 PDF BibTeX XML Cite \textit{Z. Shi} and \textit{S. Ge}, J. Shanghai Univ. 12, No. 2, 95--96 (2008; Zbl 1174.46309) Full Text: DOI OpenURL
Shi, Zhongrui; Xie, Linsen \(\lambda\) property for Bochner–Orlicz sequence spaces with Orlicz norm. (English) Zbl 1165.46008 Taiwanese J. Math. 12, No. 5, 1131-1145 (2008). Reviewer: Enrique Alfonso Sánchez-Pérez (València) MSC: 46B20 46B45 PDF BibTeX XML Cite \textit{Z. Shi} and \textit{L. Xie}, Taiwanese J. Math. 12, No. 5, 1131--1145 (2008; Zbl 1165.46008) Full Text: DOI OpenURL
Usuba, Toshimichi Ineffability of \(\mathcal{P}_{\kappa} \lambda\) for \(\lambda\) with small cofinality. (English) Zbl 1154.03034 J. Math. Soc. Japan 60, No. 3, 935-954 (2008). Reviewer: Tetsuya Ishiu (Oxford, Ohio) MSC: 03E55 03E05 PDF BibTeX XML Cite \textit{T. Usuba}, J. Math. Soc. Japan 60, No. 3, 935--954 (2008; Zbl 1154.03034) Full Text: DOI OpenURL
Kiselyov, Oleg; Shan, Chung-chieh Lightweight static capabilities. (English) Zbl 1277.68052 Stump, Aron (ed.) et al., Proceedings of the programming languages meets program verification (PLPV 2006), Seattle, WA, USA, August 21, 2006. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 174, No. 7, 79-104 (2007). MSC: 68N19 68N18 68Q60 PDF BibTeX XML Cite \textit{O. Kiselyov} and \textit{C.-c. Shan}, Electron. Notes Theor. Comput. Sci. 174, No. 7, 79--104 (2007; Zbl 1277.68052) Full Text: DOI OpenURL
Mewomo, O. T.; Oguntuase, J. A. On property \((P_\lambda\) and weak amenability of \(A(X)\). (English) Zbl 1150.46020 An. Științ. Univ. Al. I. Cuza Iași, Ser. Nouă, Mat. 53, No. 1, 85-96 (2007). Reviewer: Dumitru Drăghia (Bucureşti) MSC: 46H20 46B28 46H25 PDF BibTeX XML Cite \textit{O. T. Mewomo} and \textit{J. A. Oguntuase}, An. Științ. Univ. Al. I. Cuza Iași, Ser. Nouă, Mat. 53, No. 1, 85--96 (2007; Zbl 1150.46020) OpenURL
Wang, Jianjun; Zhu, Peiyong Preservation of properties of \(cf\)-expandable class under inverse limit operations. (Chinese. English summary) Zbl 1150.54339 J. Sichuan Norm. Univ., Nat. Sci. 30, No. 3, 335-338 (2007). MSC: 54D70 PDF BibTeX XML Cite \textit{J. Wang} and \textit{P. Zhu}, J. Sichuan Norm. Univ., Nat. Sci. 30, No. 3, 335--338 (2007; Zbl 1150.54339) OpenURL
Tao, Yuanhong; Li, Ronglu Orlicz-Pettis theorem for \(\lambda\)-multiplier convergent operator series. (English) Zbl 1123.46005 Bull. Aust. Math. Soc. 75, No. 2, 247-252 (2007). Reviewer: Charles Swartz (Las Cruces) MSC: 46A35 46A99 PDF BibTeX XML Cite \textit{Y. Tao} and \textit{R. Li}, Bull. Aust. Math. Soc. 75, No. 2, 247--252 (2007; Zbl 1123.46005) Full Text: DOI OpenURL
Nour, Karim; Saber, Khelifa Confluency property of the call-by-value \(\lambda\mu^{\wedge\vee}\)-calculus. (English) Zbl 1193.03032 David, René (ed.) et al., Computational logic and applications, CLA ’05. Proceedings of the 3rd workshop, Chambéry, France, June 20–21, 2005. Nancy: The Association. Discrete Mathematics & Theoretical Computer Science (DMTCS). Discrete Mathematics and Theoretical Computer Science. Proceedings AF, 97-108, electronic only (2006). MSC: 03B40 03B05 68N18 PDF BibTeX XML Cite \textit{K. Nour} and \textit{K. Saber}, in: Computational logic and applications, CLA '05. Proceedings of the 3rd workshop, Chambéry, France, June 20--21, 2005. Nancy: The Association. Discrete Mathematics \& Theoretical Computer Science (DMTCS). 97--108 (2006; Zbl 1193.03032) Full Text: arXiv Link OpenURL
Sakai, Masami Two properties of \(C_{p}(x)\) weaker than the Fréchet Urysohn property. (English) Zbl 1100.54011 Topology Appl. 153, No. 15, 2795-2804 (2006). Reviewer: Tomasz Natkaniec (Gdańsk) MSC: 54C35 54A20 54D20 54E52 54H05 PDF BibTeX XML Cite \textit{M. Sakai}, Topology Appl. 153, No. 15, 2795--2804 (2006; Zbl 1100.54011) Full Text: DOI OpenURL
Bimbó, Katalin The Church-Rosser property in symmetric combinatory logic. (English) Zbl 1090.03003 J. Symb. Log. 70, No. 2, 536-556 (2005). Reviewer: Martin W. Bunder (Wollongong) MSC: 03B40 03B47 PDF BibTeX XML Cite \textit{K. Bimbó}, J. Symb. Log. 70, No. 2, 536--556 (2005; Zbl 1090.03003) Full Text: DOI OpenURL
Lin, Pei-Kee Extreme points of Banach lattices related to conditional expectations. (English) Zbl 1089.46021 J. Math. Anal. Appl. 312, No. 1, 138-147 (2005). Reviewer: T.S.S.R.K. Rao (Bangalore) MSC: 46E30 46B20 PDF BibTeX XML Cite \textit{P.-K. Lin}, J. Math. Anal. Appl. 312, No. 1, 138--147 (2005; Zbl 1089.46021) Full Text: DOI OpenURL
Fox, Chris; Lappin, Shalom Underspecified interpretations in a Curry-typed representation language. (English) Zbl 1070.03515 J. Log. Comput. 15, No. 2, 131-143 (2005). MSC: 03B65 03B40 PDF BibTeX XML Cite \textit{C. Fox} and \textit{S. Lappin}, J. Log. Comput. 15, No. 2, 131--143 (2005; Zbl 1070.03515) Full Text: DOI Link OpenURL
Lefèvre, P. Some new rich subspaces of C. Applications. (English) Zbl 1075.46017 Bull. Sci. Math. 128, No. 9, 789-801 (2004). Reviewer: Daniel Li (Lens) MSC: 46B25 46B20 42A55 43A46 46E15 PDF BibTeX XML Cite \textit{P. Lefèvre}, Bull. Sci. Math. 128, No. 9, 789--801 (2004; Zbl 1075.46017) Full Text: DOI OpenURL
Sánchez Alvarez, Daniel; Gómez Skarmeta, Antonio F. A fuzzy language. (English) Zbl 1059.68017 Fuzzy Sets Syst. 141, No. 3, 335-390 (2004). MSC: 68N15 68N18 PDF BibTeX XML Cite \textit{D. Sánchez Alvarez} and \textit{A. F. Gómez Skarmeta}, Fuzzy Sets Syst. 141, No. 3, 335--390 (2004; Zbl 1059.68017) Full Text: DOI OpenURL
Kim, J. K.; Jang, S. M.; Liu, Z. Convergence theorems and stability problems of Ishikawa iterative sequences for nonlinear operator equations of the accretive and strongly accretive operators. (English) Zbl 1073.47530 Commun. Appl. Nonlinear Anal. 10, No. 3, 85-98 (2003). Reviewer: Ya-Ping Fang (Chengdu) MSC: 47J25 47H10 47H09 PDF BibTeX XML Cite \textit{J. K. Kim} et al., Commun. Appl. Nonlinear Anal. 10, No. 3, 85--98 (2003; Zbl 1073.47530) OpenURL
Bimbó, Katalin The Church-Rosser property in dual combinatory logic. (English) Zbl 1045.03017 J. Symb. Log. 68, No. 1, 132-152 (2003). Reviewer: Martin W. Bunder (Wollongong) MSC: 03B40 PDF BibTeX XML Cite \textit{K. Bimbó}, J. Symb. Log. 68, No. 1, 132--152 (2003; Zbl 1045.03017) Full Text: DOI OpenURL
Fujita, Ken-etsu An injective CPS-translation for the extensional \(\lambda\)-calculus. (English) Zbl 1060.68020 Mem. Fac. Sci. Eng., Shimane Univ., Ser. B, Math. Sci. 36, 39-48 (2003). MSC: 68N18 68Q05 68Q55 03B40 PDF BibTeX XML Cite \textit{K.-e. Fujita}, Mem. Fac. Sci. Eng., Shimane Univ., Ser. B, Math. Sci. 36, 39--48 (2003; Zbl 1060.68020) OpenURL
Andou, Y. Church-Rosser property of a simple reduction for full first-order classical natural deduction. (English) Zbl 1016.03006 Ann. Pure Appl. Logic 119, No. 1-3, 225-237 (2003). MSC: 03B10 03B40 03F05 PDF BibTeX XML Cite \textit{Y. Andou}, Ann. Pure Appl. Logic 119, No. 1--3, 225--237 (2003; Zbl 1016.03006) Full Text: DOI OpenURL
Grecu, Bogdan C. Extreme 2-homogeneous polynomials on Hilbert spaces. (English) Zbl 1035.46034 Quaest. Math. 25, No. 4, 421-435 (2002). Reviewer: Richard M. Aron (Kent/Ohio) MSC: 46G25 46B20 46C99 46B04 PDF BibTeX XML Cite \textit{B. C. Grecu}, Quaest. Math. 25, No. 4, 421--435 (2002; Zbl 1035.46034) Full Text: DOI OpenURL
Wu, Junde; Lu, Shijie A general Orlicz-Pettis theorem. (English) Zbl 1028.46002 Taiwanese J. Math. 6, No. 3, 433-440 (2002). Reviewer: J.Vaníček (Praha) MSC: 46A03 46E40 PDF BibTeX XML Cite \textit{J. Wu} and \textit{S. Lu}, Taiwanese J. Math. 6, No. 3, 433--440 (2002; Zbl 1028.46002) Full Text: DOI OpenURL
Mańka, Roman Cylinders over \(\lambda\)-dendroids have the fixed point property. (English) Zbl 1018.54024 Fundam. Math. 173, No. 2, 101-112 (2002). Reviewer: T.B.Muenzenberger (Manhattan) MSC: 54F15 54H25 PDF BibTeX XML Cite \textit{R. Mańka}, Fundam. Math. 173, No. 2, 101--112 (2002; Zbl 1018.54024) Full Text: DOI OpenURL
Wu, Junde; Lu, Shijie An automatic adjoint theorem and its applications. (English) Zbl 1003.46004 Proc. Am. Math. Soc. 130, No. 6, 1735-1741 (2002). MSC: 46A45 47A05 PDF BibTeX XML Cite \textit{J. Wu} and \textit{S. Lu}, Proc. Am. Math. Soc. 130, No. 6, 1735--1741 (2002; Zbl 1003.46004) Full Text: DOI OpenURL
Sakurai, Takafumi Categorical model construction for proving syntactic properties. (English) Zbl 1321.68159 Int. J. Found. Comput. Sci. 12, No. 2, 213-244 (2001). MSC: 68N18 03B40 68Q55 PDF BibTeX XML Cite \textit{T. Sakurai}, Int. J. Found. Comput. Sci. 12, No. 2, 213--244 (2001; Zbl 1321.68159) Full Text: DOI OpenURL
Ghilezan, Silvia; Kunčak, Viktor Reducibility method in simply typed lambda calculus. (English) Zbl 1008.03010 Novi Sad J. Math. 31, No. 1, 27-32 (2001). Reviewer: Slaviša Prešić (Beograd) MSC: 03B40 68N18 PDF BibTeX XML Cite \textit{S. Ghilezan} and \textit{V. Kunčak}, Novi Sad J. Math. 31, No. 1, 27--32 (2001; Zbl 1008.03010) Full Text: EuDML OpenURL
Aywa, Shem; Fourie, Jan H. On summing multipliers and applications. (English) Zbl 0973.47016 J. Math. Anal. Appl. 253, No. 1, 166-186 (2001). Reviewer: M.Turinici (Iaşi) MSC: 47B10 47B48 PDF BibTeX XML Cite \textit{S. Aywa} and \textit{J. H. Fourie}, J. Math. Anal. Appl. 253, No. 1, 166--186 (2001; Zbl 0973.47016) Full Text: DOI OpenURL
Bimbó, Katalin Investigation into combinatory systems with dual combinators. (English) Zbl 0963.03021 Stud. Log. 66, No. 2, 285-296 (2000). MSC: 03B40 03B47 PDF BibTeX XML Cite \textit{K. Bimbó}, Stud. Log. 66, No. 2, 285--296 (2000; Zbl 0963.03021) Full Text: DOI OpenURL
Li, Gang; Ma, Yumei Two open problems related to the \(\lambda\)-property. (Chinese. English summary) Zbl 0966.46009 J. Hebei Norm. Univ., Nat. Sci. Ed. 24, No. 2, 162-163, 179 (2000). MSC: 46B20 46B45 PDF BibTeX XML Cite \textit{G. Li} and \textit{Y. Ma}, J. Hebei Norm. Univ., Nat. Sci. Ed. 24, No. 2, 162--163, 179 (2000; Zbl 0966.46009) OpenURL
Orilia, Francesco Property theory and the revision theory of definitions. (English) Zbl 0960.03003 J. Symb. Log. 65, No. 1, 212-246 (2000). Reviewer: Pavel Materna (Praha) MSC: 03A05 03B65 03B40 PDF BibTeX XML Cite \textit{F. Orilia}, J. Symb. Log. 65, No. 1, 212--246 (2000; Zbl 0960.03003) Full Text: DOI OpenURL
Gauld, David; Vamanamurthy, M. K. Covering properties and metrisation of manifolds. II. (English) Zbl 1036.54510 Topol. Proc. 24, No. Summer, 173-186 (1999). MSC: 54D20 03E75 54E35 PDF BibTeX XML Cite \textit{D. Gauld} and \textit{M. K. Vamanamurthy}, Topol. Proc. 24(Summer), 173--186 (1999; Zbl 1036.54510) OpenURL
Wang, Shushi Some properties of Day’s norm on \(c_0(\Gamma,X)\). (English) Zbl 0957.46013 J. Math. Study 32, No. 2, 125-132 (1999). Reviewer: T.D.Narang (Amritsar) MSC: 46B20 46B22 46B25 46E40 PDF BibTeX XML Cite \textit{S. Wang}, J. Math. Study 32, No. 2, 125--132 (1999; Zbl 0957.46013) OpenURL