Content
Combining Dynamic and Recursive Types
Proceedings TLCA'93, Springer LNCS 664
| Authors/Editors: |
Hans Leiß |
|---|---|
| Publication Date: | 1993 |
| Type of Publication: | Konferenzen/Journale |
Related Links
Breadcrumb Navigation
- Home
- Konferenzen/Journale
- Combining Dynamic and Recursive Types