8 citations · 8 across the 3 of their papers we have counts for
1 paper · 1 filter
Marlou M. Gijzen, Hajime Ishihara, Tatsuji Kawai
We introduce the notion of reflexivity for combinatory algebras. Reflexivity can be thought of as an equational counterpart of the Meyer-Scott axiom of combinatory models, which in…