λ-structures and s-structures: Translating the models

I develop a translation procedure between λ -structures, which correspond to premice in the Friedman–Jensen indexing convention on the one hand and s -structures, which are essentially the same as premice in the Mitchell–Steel indexing scheme.