Kashima, Ryo; Matsuda, Naosuke; Yuyama, Takao Term-space semantics of typed lambda calculus. (English) Zbl 1486.03032 Notre Dame J. Formal Logic 61, No. 4, 591-600 (2020). MSC: 03B40 PDFBibTeX XMLCite \textit{R. Kashima} et al., Notre Dame J. Formal Logic 61, No. 4, 591--600 (2020; Zbl 1486.03032) Full Text: DOI
Hodes, Harold T. Why ramify? (English) Zbl 1322.03010 Notre Dame J. Formal Logic 56, No. 2, 379-415 (2015). MSC: 03B15 03-03 01A60 PDFBibTeX XMLCite \textit{H. T. Hodes}, Notre Dame J. Formal Logic 56, No. 2, 379--415 (2015; Zbl 1322.03010) Full Text: DOI Euclid
Bimbó, Katalin; Dunn, J. Michael New consecution calculi for \(R^{t}_{\to}\). (English) Zbl 1345.03046 Notre Dame J. Formal Logic 53, No. 4, 491-509 (2012). MSC: 03B47 03F05 03B25 03F52 PDFBibTeX XMLCite \textit{K. Bimbó} and \textit{J. M. Dunn}, Notre Dame J. Formal Logic 53, No. 4, 491--509 (2012; Zbl 1345.03046) Full Text: DOI Euclid
Bunder, M. W.; Dekkers, W. J. M. Equivalences between pure type systems and systems of illative combinatory logic. (English) Zbl 1081.03015 Notre Dame J. Formal Logic 46, No. 2, 181-205 (2005). Reviewer: Reinhard Kahle (Coimbra) MSC: 03B40 PDFBibTeX XMLCite \textit{M. W. Bunder} and \textit{W. J. M. Dekkers}, Notre Dame J. Formal Logic 46, No. 2, 181--205 (2005; Zbl 1081.03015) Full Text: DOI
Dezani-Ciancaglini, Mariangiola; Meyer, Robert K.; Motohama, Yoko The semantics of entailment omega. (English) Zbl 1042.03019 Notre Dame J. Formal Logic 43, No. 3, 129-145 (2002). MSC: 03B47 03B40 68N18 PDFBibTeX XMLCite \textit{M. Dezani-Ciancaglini} et al., Notre Dame J. Formal Logic 43, No. 3, 129--145 (2002; Zbl 1042.03019) Full Text: DOI
Dezani-Ciancaglini, Mariangiola; Ghilezan, Silvia; Venneri, Betti The “relevance” of intersection and union types. (English) Zbl 0918.03008 Notre Dame J. Formal Logic 38, No. 2, 246-269 (1997). Reviewer: M.W.Bunder (Wollongong) MSC: 03B40 03B20 PDFBibTeX XMLCite \textit{M. Dezani-Ciancaglini} et al., Notre Dame J. Formal Logic 38, No. 2, 246--269 (1997; Zbl 0918.03008) Full Text: DOI
Megill, Norman D. A finitely axiomatized formalization of predicate calculus with equality. (English) Zbl 0838.03008 Notre Dame J. Formal Logic 36, No. 3, 435-453 (1995). MSC: 03B10 03B35 PDFBibTeX XMLCite \textit{N. D. Megill}, Notre Dame J. Formal Logic 36, No. 3, 435--453 (1995; Zbl 0838.03008) Full Text: DOI
Joy, M. S.; Rayward-Smith, V. J. NP-completeness of a combinator optimization problem. (English) Zbl 0837.03015 Notre Dame J. Formal Logic 36, No. 2, 319-335 (1995). MSC: 03B40 68Q42 68Q25 PDFBibTeX XMLCite \textit{M. S. Joy} and \textit{V. J. Rayward-Smith}, Notre Dame J. Formal Logic 36, No. 2, 319--335 (1995; Zbl 0837.03015) Full Text: DOI
Johann, Patricia Normal forms in combinatory logic. (English) Zbl 0830.03005 Notre Dame J. Formal Logic 35, No. 4, 573-594 (1994). MSC: 03B40 PDFBibTeX XMLCite \textit{P. Johann}, Notre Dame J. Formal Logic 35, No. 4, 573--594 (1994; Zbl 0830.03005) Full Text: DOI
Intrigila, Benedetto Some results on numerical systems in \(\lambda\)-calculus. (English) Zbl 0830.03004 Notre Dame J. Formal Logic 35, No. 4, 523-541 (1994). MSC: 03B40 PDFBibTeX XMLCite \textit{B. Intrigila}, Notre Dame J. Formal Logic 35, No. 4, 523--541 (1994; Zbl 0830.03004) Full Text: DOI