Vial, Pierre Sequence types for hereditary permutators. (English) Zbl 1528.03132 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 33, 15 p. (2019). MSC: 03B40 PDFBibTeX XMLCite \textit{P. Vial}, LIPIcs -- Leibniz Int. Proc. Inform. 131, Article 33, 15 p. (2019; Zbl 1528.03132) Full Text: DOI
Vial, Pierre Every \(\lambda \)-term is meaningful for the infinitary relational model. (English) Zbl 1453.03011 Proceedings of the 2018 33rd annual ACM/IEEE symposium on logic in computer science, LICS 2018, Oxford, UK, July 9–12, 2018. New York, NY: Association for Computing Machinery (ACM). 899-908 (2018). MSC: 03B40 PDFBibTeX XMLCite \textit{P. Vial}, in: Proceedings of the 2018 33rd annual ACM/IEEE symposium on logic in computer science, LICS 2018, Oxford, UK, July 9--12, 2018. New York, NY: Association for Computing Machinery (ACM). 899--908 (2018; Zbl 1453.03011) Full Text: DOI arXiv HAL
Battyányi, Péter; Nour, Karim An estimation for the lengths of reduction sequences of the \(\lambda\mu\rho\theta\)-calculus. (English) Zbl 1453.03007 Log. Methods Comput. Sci. 14, No. 2, Paper No. 17, 35 p. (2018). MSC: 03B40 PDFBibTeX XMLCite \textit{P. Battyányi} and \textit{K. Nour}, Log. Methods Comput. Sci. 14, No. 2, Paper No. 17, 35 p. (2018; Zbl 1453.03007) Full Text: DOI arXiv
Guerrieri, Giulio; Paolini, Luca; Ronchi Della Rocca, Simona Standardization and conservativity of a refined call-by-value lambda-calculus. (English) Zbl 1434.68086 Log. Methods Comput. Sci. 13, No. 4, Paper No. 29, 27 p. (2017). MSC: 68N18 03B40 PDFBibTeX XMLCite \textit{G. Guerrieri} et al., Log. Methods Comput. Sci. 13, No. 4, Paper No. 29, 27 p. (2017; Zbl 1434.68086) Full Text: DOI arXiv
Lyalets’kyj, O. O. On types of sequence convergence and topological properties of partially ordered sets. (Ukrainian. English summary) Zbl 1164.06309 Visn., Ser. Fiz.-Mat. Nauky, Kyïv. Univ. Im. Tarasa Shevchenka 2008, No. 1, 121-126 (2008). MSC: 06B35 03B40 PDFBibTeX XMLCite \textit{O. O. Lyalets'kyj}, Visn., Ser. Fiz.-Mat. Nauky, Kyïv. Univ. Im. Tarasa Shevchenka 2008, No. 1, 121--126 (2008; Zbl 1164.06309)
Cummings, James; Foreman, Matthew; Magidor, Menachem Canonical structure in the universe of set theory. II. (English) Zbl 1096.03060 Ann. Pure Appl. Logic 142, No. 1-3, 55-75 (2006). MSC: 03E35 03E04 03E05 03E55 PDFBibTeX XMLCite \textit{J. Cummings} et al., Ann. Pure Appl. Logic 142, No. 1--3, 55--75 (2006; Zbl 1096.03060) Full Text: DOI
Aehlig, Klaus; Joachimski, Felix Continuous normalization for the lambda-calculus and Gödel’s T. (English) Zbl 1066.03055 Ann. Pure Appl. Logic 133, No. 1-3, 39-71 (2005). Reviewer: G. E. Mints (Stanford) MSC: 03F05 03B40 PDFBibTeX XMLCite \textit{K. Aehlig} and \textit{F. Joachimski}, Ann. Pure Appl. Logic 133, No. 1--3, 39--71 (2005; Zbl 1066.03055) Full Text: DOI
Cummings, James; Foreman, Matthew; Magidor, Menachem Canonical structure in the universe of set theory. I. (English) Zbl 1058.03051 Ann. Pure Appl. Logic 129, No. 1-3, 211-243 (2004). MSC: 03E35 03E55 03E04 03E05 PDFBibTeX XMLCite \textit{J. Cummings} et al., Ann. Pure Appl. Logic 129, No. 1--3, 211--243 (2004; Zbl 1058.03051) Full Text: DOI
Ehrhard, Thomas On Köthe sequence spaces and linear logic. (English) Zbl 1025.03066 Math. Struct. Comput. Sci. 12, No. 5, 579-623 (2002). MSC: 03F52 03G30 03B40 18D15 46M15 PDFBibTeX XMLCite \textit{T. Ehrhard}, Math. Struct. Comput. Sci. 12, No. 5, 579--623 (2002; Zbl 1025.03066) Full Text: DOI
Rosłanowski, Andrzej; Shelah, Saharon Iteration of \(\lambda\)-complete forcing notions not collapsing \(\lambda^+\). (English) Zbl 1008.03034 Int. J. Math. Math. Sci. 28, No. 2, 63-82 (2001). Reviewer: Miroslav Repický (Kosice) MSC: 03E40 03E35 03E50 PDFBibTeX XMLCite \textit{A. Rosłanowski} and \textit{S. Shelah}, Int. J. Math. Math. Sci. 28, No. 2, 63--82 (2001; Zbl 1008.03034) Full Text: DOI arXiv EuDML
Neuwirth, Stefan Uniformly distributed sets and sets \(\Lambda(p)\). (Ensembles uniformément répartis et ensembles \(\Lambda(p)\).) (French) Zbl 1010.43007 Choquet, G. (ed.) et al., Séminaire d’initiation à l’analyse. 37ème et 38ème années: 1997/1999. Exposés 1 à 20. Paris: Univ. Pierre et Marie Curie, Publ. Math. Univ. Pierre Marie Curie. 121, 9 p. (2000). Reviewer: Daniel Li (Lens Cedex) MSC: 43A46 03E15 PDFBibTeX XMLCite \textit{S. Neuwirth}, in: Séminaire d'initiation à l'analyse. 37ème et 38ème années: 1997/1999. Exposés 1 à 20. Paris: Univ. Pierre et Marie Curie. 9 p. (2000; Zbl 1010.43007)
Xi, Hongwei Upper bounds for standardizations and an application. (English) Zbl 0938.03027 J. Symb. Log. 64, No. 1, 291-303 (1999). Reviewer: Teruo Hikita (Kawasaki) MSC: 03B40 PDFBibTeX XMLCite \textit{H. Xi}, J. Symb. Log. 64, No. 1, 291--303 (1999; Zbl 0938.03027) Full Text: DOI
Kerth, Rainer The interpretation of unsolvable \(\lambda\)-terms in models of untyped \(\lambda\)-calculus. (English) Zbl 0930.03013 J. Symb. Log. 63, No. 4, 1529-1548 (1998). MSC: 03B40 PDFBibTeX XMLCite \textit{R. Kerth}, J. Symb. Log. 63, No. 4, 1529--1548 (1998; Zbl 0930.03013) Full Text: DOI
van de Pol, Jaco Two different strong normalization proofs? (English) Zbl 1434.03130 Dowek, Gilles (ed.) et al., Higher-order algebra, logic, and term rewriting. Second international workshop, HOA ’95, Paderborn, Germany, September 21–22, 1995. Selected papers. Berlin: Springer. Lect. Notes Comput. Sci. 1074, 201-220 (1996). MSC: 03F05 03B40 03D65 68Q42 PDFBibTeX XMLCite \textit{J. van de Pol}, Lect. Notes Comput. Sci. 1074, 201--220 (1996; Zbl 1434.03130) Full Text: DOI
Di Cosmo, Roberto; Kesner, Delia Combining first order algebraic rewriting systems, recursion and extensional lambda calculi. (English) Zbl 1418.68112 Abiteboul, Serge (ed.) et al., Automata, languages and programming. 21st international colloquium, ICALP ’94, Jerusalem, Israel, July 11–14, 1994. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 820, 462-472 (1994). MSC: 68Q42 03B40 PDFBibTeX XMLCite \textit{R. Di Cosmo} and \textit{D. Kesner}, Lect. Notes Comput. Sci. 820, 462--472 (1994; Zbl 1418.68112) Full Text: DOI
Di Cosmo, Roberto; Kesner, Delia A confluent reduction for the extensional typed \(\lambda\)-calculus with pairs, sums, recursion and terminal object. (English) Zbl 1422.03022 Lingas, Andrzej (ed.) et al., Automata, languages and programming. 20th international colloquium, ICALP 93, Lund, Sweden, July 5–9, 1993. Proceedings. Berlin: Springer-Verlag. Lect. Notes Comput. Sci. 700, 645-656 (1993). MSC: 03B40 PDFBibTeX XMLCite \textit{R. Di Cosmo} and \textit{D. Kesner}, Lect. Notes Comput. Sci. 700, 645--656 (1993; Zbl 1422.03022) Full Text: DOI
Venturini Zilli, M. Cofinality in reduction graphs. (English) Zbl 0536.03004 Trees in algebra and programming, CAAP ’83, Proc. 8th Colloq., L’Aquila/Italy 1983, Lect. Notes Comput. Sci. 159, 405-416 (1983). Reviewer: M.W.Bunder MSC: 03B40 PDFBibTeX XML
Robinet, Bernard Sur des séquences itératives de combinateurs. (French) Zbl 0496.03005 C. R. Acad. Sci., Paris, Sér. I 295, 29-30 (1982). MSC: 03B40 PDFBibTeX XMLCite \textit{B. Robinet}, C. R. Acad. Sci., Paris, Sér. I 295, 29--30 (1982; Zbl 0496.03005)
Hindley, R. Standard and normal reductions. (English) Zbl 0395.03015 Trans. Am. Math. Soc. 241, 253-271 (1978). MSC: 03B40 PDFBibTeX XMLCite \textit{R. Hindley}, Trans. Am. Math. Soc. 241, 253--271 (1978; Zbl 0395.03015) Full Text: DOI