What do you meant by theory?
How many types of it?
Answer should be in more than 100 words..
Answers
Answered by
0
A theory is a contemplative and rational type of abstract or generalizing thinking, or the results of such thinking.[citation needed] Depending on the context, the results might, for example, include generalized explanations of how nature works. The word has its roots in ancient Greek, but in modern use it has taken on several related meanings.
Types of theory :-
Major Edit
Simply typed lambda calculus which is a higher-order logic;
intuitionistic type theory;
system F;
LF is often used to define other type theories;
calculus of constructions and its derivatives.
Minor Edit
Automath;
ST type theory;
some forms of combinatory logic;
others defined in the lambda cube;
others under the name typed lambda calculus;
others under the name pure type system.
Active Edit
Homotopy type theory is being researched.
Hope u like the ans.. Plse Mark me as brainlist
Types of theory :-
Major Edit
Simply typed lambda calculus which is a higher-order logic;
intuitionistic type theory;
system F;
LF is often used to define other type theories;
calculus of constructions and its derivatives.
Minor Edit
Automath;
ST type theory;
some forms of combinatory logic;
others defined in the lambda cube;
others under the name typed lambda calculus;
others under the name pure type system.
Active Edit
Homotopy type theory is being researched.
Hope u like the ans.. Plse Mark me as brainlist
Similar questions