Basil A. Karádais

Atomicity, coherence of information, and point-free structures

Basil A. Karádais, 2016, Ann. Pure Appl. Log..

Towards an arithmetic for partial computable functionals

Basil A. Karádais, 2013 .

Nonflatness and totality

Basil A. Karádais, 2018, Mathematical Structures in Computer Science.

Normal forms, linearity, and prime algebraicity over nonflat domains

Basil A. Karádais, 2018, Math. Log. Q..

TOWARDS A FORMAL THEORY OF COMPUTABILITY

Simon Huber, Helmut Schwichtenberg, Dana S. Scott, 2010 .

Implicit atomicity and finite density for non-flat domains

Basil A. Karádais, 2013 .