Title: Beiträge zur Theorie des logisch-funktionalen Programmierens