[pjmlp]

There is not much more level abstraction than lambda calculus, logic, denotational semantics and similar though processes.

But I get your point of not having to deal with low level details.

[sklogic]

You'd be surprised - there is an infinite hierarchy of abstractions above the primitive level you're talking about.