Merkliste 
 1 Ergebnisse 
 
1

Classes of Arbitrary Kind:

, In: Practical Aspects of Declarative Languages; Lecture Notes in Computer Science,