Eintrag weiter verarbeiten
Conditional and Typed Rewriting Systems: Coherence for cartesian closed categories: A sequential approach
Gespeichert in:
Zeitschriftentitel: | Conditional and Typed Rewriting Systems |
---|---|
Personen und Körperschaften: | , |
In: | Conditional and Typed Rewriting Systems, 1995, S. 276-295 |
Medientyp: | E-Book-Kapitel |
Sprache: | Unbestimmt |
veröffentlicht: |
Springer Berlin Heidelberg
|