Go backward to The Abstraction Principle
Go up to Top
Go forward to Expression Abstractions

Abstractions

define I = V
Systematic introduction of names into our core language.


Wolfgang.Schreiner@risc.uni-linz.ac.at
Id: abstraction.tex,v 1.1 1996/03/05 08:55:21 schreine Exp schreine

Prev Up Next