Kuchyňka, Petr; Raclavský, Jiří Completeness in partial type theory. (English) Zbl 07801593 J. Log. Comput. 34, No. 1, 1-32 (2024). MSC: 03-XX 68-XX × Cite Format Result Cite Review PDF Full Text: DOI
Raclavský, Jiří; Kuchyňka, Petr Conceptual and derivation systems. (English) Zbl 1244.03030 Log. Log. Philos. 20, No. 1-2, 159-174 (2011). MSC: 03A05 × Cite Format Result Cite Review PDF