|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
4 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | An Interpretation of Typed Objects into Typedπ-Calculus |
Sangiorgi, Davide |
1998 |
143 | 1 |
p. 34-73 40 p. |
artikel |
|
| 2 | Completeness and Non-Completeness Results with Respect to Read-Once Projections |
Bollig, Beate |
1998 |
143 | 1 |
p. 24-33 10 p. |
artikel |
|
| 3 | Investigations on Measure-one Identification of Classes of Languages |
Montagna, Franco |
1998 |
143 | 1 |
p. 74-107 34 p. |
artikel |
|
| 4 | Type Inference for Pure Type Systems |
Severi, Paula |
1998 |
143 | 1 |
p. 1-23 23 p. |
artikel |
4 gevonden resultaten