Moot, Richard; Stevens-Guille, Symon Jory Logical foundations for hybrid type-logical grammars. (English) Zbl 07524058 J. Logic Lang. Inf. 31, No. 1, 35-76 (2022). MSC: 03-XX 68-XX PDF BibTeX XML Cite \textit{R. Moot} and \textit{S. J. Stevens-Guille}, J. Logic Lang. Inf. 31, No. 1, 35--76 (2022; Zbl 07524058) Full Text: DOI OpenURL
Blanqui, Frédéric Termination of rewrite relations on \(\lambda\)-terms based on Girard’s notion of reducibility. (English) Zbl 1332.68103 Theor. Comput. Sci. 611, 50-86 (2016). MSC: 68Q42 03B40 PDF BibTeX XML Cite \textit{F. Blanqui}, Theor. Comput. Sci. 611, 50--86 (2016; Zbl 1332.68103) Full Text: DOI arXiv OpenURL
Chemouil, David An insertion operator preserving infinite reduction sequences. (English) Zbl 1153.68025 Math. Struct. Comput. Sci. 18, No. 4, 693-728 (2008). MSC: 68Q42 03B40 68N18 PDF BibTeX XML Cite \textit{D. Chemouil}, Math. Struct. Comput. Sci. 18, No. 4, 693--728 (2008; Zbl 1153.68025) Full Text: DOI OpenURL
Kesner, D. Confluence of extensional and non-extensional \(\lambda\)-calculi with explicit substitutions. (English) Zbl 0944.68033 Theor. Comput. Sci. 238, No. 1-2, 183-220 (2000). MSC: 68N18 PDF BibTeX XML Cite \textit{D. Kesner}, Theor. Comput. Sci. 238, No. 1--2, 183--220 (2000; Zbl 0944.68033) Full Text: DOI OpenURL
Di Cosmo, Roberto; Ghani, Neil On modular properties of higher order extensional lambda calculi. (English) Zbl 1401.03040 Degano, Pierpaolo (ed.) et al., Automata, languages and programming. 24th international colloquium, ICALP ’97, Bologna, Italy, July 7–11, 1997. Proceedings. Berlin: Springer-Verlag (ISBN 978-3-540-63165-1/pbk; 978-3-540-69194-5/ebook). Lecture Notes in Computer Science 1256, 237-247 (1997). MSC: 03B40 PDF BibTeX XML Cite \textit{R. Di Cosmo} and \textit{N. Ghani}, Lect. Notes Comput. Sci. 1256, 237--247 (1997; Zbl 1401.03040) Full Text: DOI OpenURL
Jouannaud, Jean-Pierre; Okada, Mitsuhiro Abstract data type systems. (English) Zbl 0901.68121 Theor. Comput. Sci. 173, No. 2, 349-391 (1997). MSC: 68Q65 PDF BibTeX XML Cite \textit{J.-P. Jouannaud} and \textit{M. Okada}, Theor. Comput. Sci. 173, No. 2, 349--391 (1997; Zbl 0901.68121) Full Text: DOI OpenURL