Fixpoints and relative precompleteness. - Anton Golov; Sebastiaan A. Terwijn (Comput., 2022)

Embeddings between partial combinatory algebras. - Anton Golov; Sebastiaan A. Terwijn (CoRR, 2022)

Directed branching bisimulation via apartness and positive logic. - Herman Geuvers; Anton Golov (CoRR, 2022)