Merkliste 
 1 Ergebnisse 
 
1

Artifact Description: Definitional Functoriality for Depend..:

, In: Programming Languages and Systems; Lecture Notes in Computer Science,