|
|
Documents of the Institute
Articles in Proceedings- Schied, Georg; Barthelmann, Klaus: Linear Types for Higher Order Processes with First Class Directed Channels. In: Proceedings: Workshop on Graph Rewriting and Computation (SEGRAGRA'95), Electronic Notes in Theoretical Computer Science, Vol. 2, 1995.
- Schied, Georg; Barthelmann, Klaus: Linear Types for Higher Order Processes with First Class Directed Channels. In: Proceedings of the Workshop on Graph Rewriting and Computation (SEGRAGRA 1995), Electronic Notes in Theoretical Computer Science, Vol. 2.
- Schied, Georg: Programmieren mit Prozessen höherer Ordnung und mit linearen Typen. In: Proceedings des 12. Workshop GI-FG 2.1.4 'Alternative Konzepte für Sprachen und Rechner, Bad Honnef, 1995.
Diploma Theses (archive)
|
|