Blanqui, Frédéric; Dowek, Gilles; Grienenberger, Emilie; Hondet, Gabriel; Thiré, François A modular construction of type theories. (English) Zbl 1522.03041 Log. Methods Comput. Sci. 19, No. 1, Paper No. 12, 28 p. (2023). Reviewer: Łukasz Czajka (Dortmund) MSC: 03B40 PDFBibTeX XMLCite \textit{F. Blanqui} et al., Log. Methods Comput. Sci. 19, No. 1, Paper No. 12, 28 p. (2023; Zbl 1522.03041) Full Text: DOI arXiv
van der Hoeven, Joris Towards semantic mathematical editing. (English) Zbl 1329.68277 J. Symb. Comput. 71, 1-46 (2015). MSC: 68U15 68N99 68U35 PDFBibTeX XMLCite \textit{J. van der Hoeven}, J. Symb. Comput. 71, 1--46 (2015; Zbl 1329.68277) Full Text: DOI
Yoshida, Nobuko; Berger, Martin; Honda, Kohei Strong normalisation in the \(\pi\)-calculus. (English) Zbl 1101.68705 Inf. Comput. 191, No. 2, 145-202 (2004). MSC: 68Q85 PDFBibTeX XMLCite \textit{N. Yoshida} et al., Inf. Comput. 191, No. 2, 145--202 (2004; Zbl 1101.68705) Full Text: DOI
Kamareddine, Fairouz; Laan, Twan; Nederpelt, Rob Revisiting the notion of function. (English) Zbl 1020.03013 J. Log. Algebr. Program. 54, No. 1-2, 65-107 (2003). MSC: 03B40 PDFBibTeX XMLCite \textit{F. Kamareddine} et al., J. Log. Algebr. Program. 54, No. 1--2, 65--107 (2003; Zbl 1020.03013) Full Text: DOI
Kamareddine, Fairouz; Bloo, Roel; Nederpelt, Rob On \(\Pi\)-conversion in the \(\lambda\)-cube and the combination with abbreviations. (English) Zbl 0930.03012 Ann. Pure Appl. Logic 97, No. 1-3, 27-45 (1999). MSC: 03B40 PDFBibTeX XMLCite \textit{F. Kamareddine} et al., Ann. Pure Appl. Logic 97, No. 1--3, 27--45 (1999; Zbl 0930.03012) Full Text: DOI
Xu, Manwu; Lu, Jianfeng; Zeng, Fancong; Dai, Jinwen A formal semantics for DAI language NUML. (English) Zbl 0837.68066 J. Comput. Sci. Technol. 10, No. 3, 227-238 (1995). MSC: 68Q55 68M10 PDFBibTeX XMLCite \textit{M. Xu} et al., J. Comput. Sci. Technol. 10, No. 3, 227--238 (1995; Zbl 0837.68066) Full Text: DOI