A modern elaboration of the Rami Theory of Types. Studia Logica (1996)

by T D L Laan, R P Nederpelt