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

by Twan Laan