Hello muratsekerci, and welcome to EnglishForum.
Question 1: Which of the following designate a legitimate type according to the type system which our language Ltype rests on?
I'm not sure what means here, because these logical types are a bit unusual. But as far as I know:
a. , , t>>...