Sheard, Tim Type-level computation using narrowing in \(\Omega\)mega. (English) Zbl 1277.68046 Stump, Aron (ed.) et al., Proceedings of the programming languages meets program verification (PLPV 2006), Seattle, WA, USA, August 21, 2006. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 174, No. 7, 105-128 (2007). MSC: 68N15 03B70 68N18 68T15 PDFBibTeX XMLCite \textit{T. Sheard}, Electron. Notes Theor. Comput. Sci. 174, No. 7, 105--128 (2007; Zbl 1277.68046) Full Text: DOI
Moczydłowski, Wojciech A normalizing intuitionistic set theory with inaccessible sets. (English) Zbl 1125.03038 Log. Methods Comput. Sci. 3, No. 3, Paper 6, 31 p. (2007). MSC: 03E70 03B40 03F50 03B35 03B70 PDFBibTeX XMLCite \textit{W. Moczydłowski}, Log. Methods Comput. Sci. 3, No. 3, Paper 6, 31 p. (2007; Zbl 1125.03038) Full Text: DOI