Fujita, Ken-etsu; Schubert, Aleksy Existential type systems between Church and Curry style (type-free style). (English) Zbl 1393.03004 Theor. Comput. Sci. 549, 17-35 (2014). MSC: 03B40 PDF BibTeX XML Cite \textit{K.-e. Fujita} and \textit{A. Schubert}, Theor. Comput. Sci. 549, 17--35 (2014; Zbl 1393.03004) Full Text: DOI
Stirton, William R. A decidable theory of type assignment. (English) Zbl 1303.03036 Arch. Math. Logic 52, No. 5-6, 631-658 (2013). Reviewer: Martin W. Bunder (Wollongong) MSC: 03B40 03F10 PDF BibTeX XML Cite \textit{W. R. Stirton}, Arch. Math. Logic 52, No. 5--6, 631--658 (2013; Zbl 1303.03036) Full Text: DOI
Nakazawa, Koji; Tatsuta, Makoto; Kameyama, Yukiyoshi; Nakano, Hiroshi Type checking and typability in domain-free lambda calculi. (English) Zbl 1241.03011 Theor. Comput. Sci. 412, No. 44, 6193-6207 (2011). MSC: 03B40 PDF BibTeX XML Cite \textit{K. Nakazawa} et al., Theor. Comput. Sci. 412, No. 44, 6193--6207 (2011; Zbl 1241.03011) Full Text: DOI
Bethke, Inge; Rodenburg, Piet Typability in partial applicative structures. (English) Zbl 1231.03011 J. Logic Lang. Inf. 20, No. 2, 161-168 (2011). MSC: 03B40 03B65 03G25 PDF BibTeX XML Cite \textit{I. Bethke} and \textit{P. Rodenburg}, J. Logic Lang. Inf. 20, No. 2, 161--168 (2011; Zbl 1231.03011) Full Text: DOI
Fujita, Ken-Etsu; Schubert, Aleksy The undecidability of type related problems in type-free style system F. (English) Zbl 1236.68128 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, 103-118, electronic only (2010). MSC: 68Q42 03B40 PDF BibTeX XML Cite \textit{K.-E. Fujita} and \textit{A. Schubert}, LIPIcs -- Leibniz Int. Proc. Inform. 6, 103--118 (2010; Zbl 1236.68128) Full Text: DOI Link
Tyszkiewicz, Jerzy Complexity of type inference. (English) Zbl 1231.03013 Fundam. Inform. 103, No. 1-4, 289-301 (2010). MSC: 03B40 68N18 68Q25 PDF BibTeX XML Cite \textit{J. Tyszkiewicz}, Fundam. Inform. 103, No. 1--4, 289--301 (2010; Zbl 1231.03013) Full Text: DOI
Hindley, J. Roger M. H. Newman’s typability algorithm for lambda-calculus. (English) Zbl 1147.03006 J. Log. Comput. 18, No. 2, 229-238 (2008). Reviewer: Martin W. Bunder (Wollongong) MSC: 03B40 01A60 03-03 PDF BibTeX XML Cite \textit{J. R. Hindley}, J. Log. Comput. 18, No. 2, 229--238 (2008; Zbl 1147.03006) Full Text: DOI
Van den Bussche, Jan; Vansummeren, Stijn Polymorphic type inference for the named nested relational calculus. (English) Zbl 1367.68090 ACM Trans. Comput. Log. 9, No. 1, Article No. 3, 19 p. (2007). MSC: 68P15 68N15 68Q17 PDF BibTeX XML Cite \textit{J. Van den Bussche} and \textit{S. Vansummeren}, ACM Trans. Comput. Log. 9, No. 1, Article No. 3, 19 p. (2007; Zbl 1367.68090) Full Text: DOI
Dougherty, Dan; Lescanne, Pierre Reductions, intersection types, and explicit substitutions. (English) Zbl 1029.03006 Math. Struct. Comput. Sci. 13, No. 1, 55-85 (2003). MSC: 03B40 68N18 PDF BibTeX XML Cite \textit{D. Dougherty} and \textit{P. Lescanne}, Math. Struct. Comput. Sci. 13, No. 1, 55--85 (2003; Zbl 1029.03006) Full Text: DOI
Kfoury, A. J.; Ronchi della Rocca, S.; Tiuryn, J.; Urzyczyn, P. Alpha-conversion and typability. (English) Zbl 1004.03005 Inf. Comput. 150, No. 1, 1-21 (1999). MSC: 03B40 68N18 PDF BibTeX XML Cite \textit{A. J. Kfoury} et al., Inf. Comput. 150, No. 1, 1--21 (1999; Zbl 1004.03005) Full Text: DOI
Wells, J. B. Typability and type checking in System F are equivalent and undecidable. (English) Zbl 0932.03017 Ann. Pure Appl. Logic 98, No. 1-3, 111-156 (1999). MSC: 03B40 03B25 PDF BibTeX XML Cite \textit{J. B. Wells}, Ann. Pure Appl. Logic 98, No. 1--3, 111--156 (1999; Zbl 0932.03017) Full Text: DOI
Benke, Marcin An algebraic characterization of typability in ML with subtyping. (English) Zbl 0932.03027 Thomas, Wolfgang (ed.), Foundations of software science and computation structures. 2nd international conference, FOSSACS ’99. Held as part of the joint European conferences on Theory and practice of software, ETAPS ’99, Amsterdam, the Netherlands, March 22–28, 1999. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1578, 104-119 (1999). MSC: 03B70 68N18 68Q60 PDF BibTeX XML Cite \textit{M. Benke}, Lect. Notes Comput. Sci. 1578, 104--119 (1999; Zbl 0932.03027)
Gallier, Jean Typing untyped \(\lambda\)-terms, or reducibility strikes again! (English) Zbl 0930.03011 Ann. Pure Appl. Logic 91, No. 2-3, 231-270 (1998). MSC: 03B40 PDF BibTeX XML Cite \textit{J. Gallier}, Ann. Pure Appl. Logic 91, No. 2--3, 231--270 (1998; Zbl 0930.03011) Full Text: DOI
Roversi, Luca A polymorphic language which is typable and poly-step. (English) Zbl 0928.03037 Hsiang, Jieh (ed.) et al., Advances in computing science - ASIAN ’98. 4th Asian computing science conference, Manila, the Philippines, December 8–10, 1998. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1538, 43-60 (1998). MSC: 03B70 03F05 68N18 PDF BibTeX XML Cite \textit{L. Roversi}, Lect. Notes Comput. Sci. 1538, 43--60 (1998; Zbl 0928.03037)
Kamareddine, Fairouz; Nederpelt, Rob Canonical typing and \(\Pi\)-conversion in the Barendregt cube. (English) Zbl 0854.03015 J. Funct. Program. 6, No. 2, 245-267 (1996). MSC: 03B40 PDF BibTeX XML Cite \textit{F. Kamareddine} and \textit{R. Nederpelt}, J. Funct. Program. 6, No. 2, 245--267 (1996; Zbl 0854.03015) Full Text: DOI
Kfoury, A. J.; Tiuryn, J.; Urzyczyn, P. An analysis of ML typability. (English) Zbl 0806.68016 J. Assoc. Comput. Mach. 41, No. 2, 368-398 (1994). MSC: 68N15 03B40 68W10 PDF BibTeX XML Cite \textit{A. J. Kfoury} et al., J. Assoc. Comput. Mach. 41, No. 2, 368--398 (1994; Zbl 0806.68016) Full Text: DOI
Kfoury, A. J.; Tiuryn, J. Type reconstruction in finite rank fragments of the second-order \(\lambda\)-calculus. (English) Zbl 0753.68022 Inf. Comput. 98, No. 2, 228-257 (1992). MSC: 68N01 68N15 03B40 68Q25 PDF BibTeX XML Cite \textit{A. J. Kfoury} and \textit{J. Tiuryn}, Inf. Comput. 98, No. 2, 228--257 (1992; Zbl 0753.68022) Full Text: DOI
Kfoury, A. J.; Tiuryn, J.; Urzyczyn, P. ML typability is DEXPTIME-complete. (English) Zbl 0760.68035 CAAP’90, Proc. 15th Colloq., Copenhagen/Denmark 1990, Lect. Notes Comput. Sci. 431, 206-220 (1990). MSC: 68Q25 68N15 PDF BibTeX XML Cite \textit{A. J. Kfoury} et al., Lect. Notes Comput. Sci. 431, 206--220 (1990; Zbl 0760.68035)
Böhm, Corrado Subduing self-application. (English) Zbl 0686.68010 Automata, languages and programming, Proc. 16th Int. Colloq., Stresa/Italy 1989, Lect. Notes Comput. Sci. 372, 108-122 (1989). MSC: 68Q60 68Q55 PDF BibTeX XML