Dimitŭr Genchev Skordev

发表

Computability in combinatory spaces

Dimitŭr Genchev Skordev, 1992 .

Computability in Combinatory Spaces: An Algebraic Generalization Of Abstract First Order Computability

Dimitŭr Genchev Skordev, 2012 .