| |
| Ansetzungsform: | Lambda-Kalkül |
|---|---|
| SWD: | 4166495-4 |
| GND: | 4166495-4 |
| PPN (SWB): | 104515856 |
| Quelle: | Lex. Informatik |
| SWD-Systematiknummer: | 28;30 |
| Notation DDC: | 511.35 |
| Alternativformen: | Lambda calculus Lambda-calcul |
| Verweisungsformen allg.: | Churchscher Lambda-Kalkül |
DNB: Deutsche Nationalbibliothek
