Algebraic combinatory models. - Marlou M. Gijzen; Hajime Ishihara; Tatsuji Kawai (CoRR, 2021)

Reflexive combinatory algebras. - Marlou M. Gijzen; Hajime Ishihara; Tatsuji Kawai (J. Log. Comput., 2023)