Articles about Type Theory Category


Abstract Data Type	Abstract Type	Algebraic Data Type
Bottom Type	Calculus Of Constructions	Covariance And Contravariance Computer Science
Curry–howard	Dependent Type	Derived Type
Duck Typing	Effect System	Generalized Algebraic Data Type
Higher-order Abstract Syntax	Interface Java	Intuitionistic Type Theory
Lf Logical Framework	Liskov Substitution Principle	Mathematical Structure
Nominative Type System	Open---closed Principle	Parametricity
Poplmark Challenge	Principal Type	Prototype-based Programming
Recursive Type	Setoid	Signedness
Strongly-typed Programming Language	Structural Type System	Substitutability
Subtype	System F	Top Type
Trait Abstract Type	Trait Class	Twelf
Type Class	Type Conversion	Typed Lambda Calculus
Type Inference	Type Safety	Type Signature
Type System	Type Theory	Uniqueness Type
Unit Type	Weak Typing	Zipper Data Structure

	CATEGORIES ABOUT TYPE THEORY

	systems of formal logic

	type theorysystems of formal logic

	type theory

	logic in computer science

	data types

	formal methods

	categories by type

	theory

Information About ™