As per dictionary, abstraction is the quality of dealing with ideas rather than events. For example, when you consider the case of e-mail, complex details such as what happens as soon as you send an e ...

type of simply-typed lambda-calculus terms of type A; ``cterm A`` is the type of simply-typed combinator terms of type A. Combinators are of [fixity declarations ...