Go backward to Other Standard Abstractions
Go up to Top
Go forward to Recursively Defined Abstractions

Semantics


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