Frank Zartmann

• Denotationelle Analysen funktional-logischer Programme