Eintrag weiter verarbeiten
Computability in higher types, Pω and the completeness of type assignment
Gespeichert in:
Zeitschriftentitel: | Theoretical Computer Science |
---|---|
Personen und Körperschaften: | , |
In: | Theoretical Computer Science, 46, 1986, S. 197-217 |
Format: | E-Article |
Sprache: | Englisch |
veröffentlicht: |
Elsevier BV
|
Schlagwörter: |