Trong ngôn ngữ lập trình, kiểu trừu tượng (tiếng Anh: abstract type) là một kiểu trong hệ thống kiểu danh định mà không thể được khởi tạo trực tiếp; một kiểu mà không trừu tượng – nghĩa là có thể được khởi tạo – được gọi là kiểu cụ thể (concrete type). Mỗi thực thể của kiểu trừu tượng là một thực thể của vài kiểu con cụ thể. Kiểu trừu tượng còn được gọi là kiểu tồn tại (existential type).[1]Một kiểu trừu tượng có thể không cung cấp sự hiện thực, hoặc hiện thực không đầy đủ. Ở một vài ngôn ngữ, kiểu trừu tượng không có sự hiện thực (thay vì hiện thực không đầy đủ) được gọi là giao thức (protocol hay interface), chữ kí (signature), hay kiểu lớp (class type). Trong lập trình hướng đối tượng dựa trên lớp, kiểu trừu tượng được hiện thực như là lớp trừu tượng (abstract class hay abstract base class), và kiểu cụ thể như là lớp cụ thể (concrete class).