Łukasz Czajka

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
A shallow embedding of pure type systems into first-order logic	2026-02-20	Paper
Restricting tree grammars with term rewriting	2024-05-27	Paper
scientific article; zbMATH DE number 7649963 (Why is no real title available?)	2023-02-03	Paper
Practical Proof Search for Coq by Type Inhabitation Automated Reasoning	2022-11-09	Paper
scientific article; zbMATH DE number 7559278 (Why is no real title available?) (available as arXiv preprint)	2022-07-18	Paper
Term rewriting characterisation of LOGSPACE for finite and infinite data	2021-06-15	Paper
scientific article; zbMATH DE number 7204433 (Why is no real title available?) (available as arXiv preprint)	2020-05-26	Paper
scientific article; zbMATH DE number 7199590 (Why is no real title available?) (available as arXiv preprint)	2020-05-12	Paper
scientific article; zbMATH DE number 7199590 (Why is no real title available?)	2020-05-12	Paper
scientific article; zbMATH DE number 7168147 (Why is no real title available?) (available as arXiv preprint)	2020-02-17	Paper
Concrete semantics with Coq and CoqHammer (available as arXiv preprint)	2018-10-18	Paper
Hammer for Coq: automation for dependent type theory Journal of Automated Reasoning	2018-08-21	Paper
Confluence of nearly orthogonal infinitary term rewriting systems	2017-07-12	Paper
On the equivalence of different presentations of Turner's bracket abstraction algorithm	2015-10-13	Paper
A coinductive confluence proof for infinitary lambda-calculus Lecture Notes in Computer Science	2014-07-24	Paper
Higher-order illative combinatory logic The Journal of Symbolic Logic	2014-01-07	Paper
Higher-order illative combinatory logic The Journal of Symbolic Logic	2014-01-07	Paper
Partiality and recursion in higher-order logic Lecture Notes in Computer Science	2013-03-18	Paper
A semantic approach to illative combinatory logic	2012-09-18	Paper

Research outcomes over time

This page was built for person: Łukasz Czajka