Abstraction Theory

This page is Copyright John N. Shutt 2000–2012, 2015–2017. Here's what you're allowed to do with it.
Last modified: 15-Jan-17.

FREE SPEECH ONLINE BLUE RIBBON CAMPAIGN

Programming consists of building successive "layers of abstraction", one on top of another.  The process of going from one such layer to the next is abstraction.  The goal of Abstraction Theory is to model this process mathematically, so that questions about abstraction — like, which of these two programming languages has more abstractive power — are objectively meaningful problems subject to formal investigation, rather than religious issues.


Blog posts:

Tech reports:
See also: Abstraction theory on my Web Surfing page; my other Academic Work.