ABSTRACT PREDICATES

"The purpose of abstraction is not to be vague, but to create a new semantic level in which one can be absolutely precise." — E. W. Dijkstra

For Ruijie Fang's webpage, please click here.

Cover image: Kandinsky - Jaune Rouge Bleu.jpg, from Wikimedia Commons.