Centrum für Informations- und Sprachverarbeitung
print


Breadcrumb Navigation


Content

Combining Dynamic and Recursive Types

Proceedings TLCA'93, Springer LNCS 664

Publication Date: 1993
Type of Publication: Konferenzen/Journale
Related Links