[AJST2001] Linear ramified higher type recursion and parallel complexity
| MR2003c:68075 (In proceedings)
|
| Author(s) | Aehlig K., Johannsen J., Schwichtenberg H. and Terwijn S. A. |
| Title | "Linear ramified higher type recursion and parallel complexity" |
| Date | 2001 |
| In | Proof theory in computer science (Dagstuhl Castle, 2001) |
| Volume | 2183 |
| Series | Lecture Notes in Comput. Sci. |
| Page(s) | 1--21 |
| Publisher | Springer |
@inproceedings{MR2003c:68075,
volume = {2183},
title = {Linear ramified higher type recursion and parallel complexity},
year = {2001},
booktitle = {Proof theory in computer science (Dagstuhl Castle, 2001)},
pages = {1--21},
publisher = {Springer},
address = {Berlin},
author = {Aehlig, Klaus and Johannsen, Jan and Schwichtenberg, Helmut and Terwijn, Sebastiaan A.},
series = {Lecture Notes in Comput. Sci.},
}
Submit a bug
This document was generated by bib2html 1.2.
Copyright © 1998-04 Stéphane GALLAND (under the GNU General Public License)