Delta conversion

delta reduction

Free Online Dictionary of Computing