Der übertypisierte Lambda-Kalkül.
Salvato in:
| Autore principale: | |
|---|---|
| Natura: | Libro |
| Lingua: | tedesco |
| Pubblicazione: |
Karlsruhe
Univ., Fak.f.Informatik
1975
|
| Tags: |
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
| Order eBook: |
|
| Order Book: | Login to order |
| Descrizione del documento: | Raulefs, Peter -- Der übertypisierte Lambda-Kalkül. -- 1975. V, 184 S. -- Karlsruhe, Univ., Fak.f.Informatik, Diss.1975. |
|---|---|
| Descrizione fisica: | V, 184 S. |