| Previous by date: | 20 Jul 2016 19:11:24 +0100 Re: konstatacja, Daria |
| Next by date: | 20 Jul 2016 19:11:24 +0100 Re: [klio] 25 lat Raportu PTI z 1991, Andrzej Dyżewski, pt |
| Previous in thread: | |
| Next in thread: | 20 Jul 2016 19:11:24 +0100 RE: [st-pti] "Term" w rachunku lambda, Andrzej Dyżewski, pt |
W kilku opisach działania rachunku lambda (Alonzo Church i inni) poja się określenie angielskie "term" (albo "lambda-term"). http://wazniak.mimuw.edu.pl/index.php?title=Paradygmaty_programowania/Wyk%C5%82ad_8:_U_podstaw_programowania_funkcyjnego_%E2%80%94_rachunek_lambda "Napisy w rachunku lambda nazywamy >>termami<<." Czy jest na to jakiś poprawne polskie określenie? Marcin
| Previous by date: | 20 Jul 2016 19:11:24 +0100 Re: konstatacja, Daria |
| Next by date: | 20 Jul 2016 19:11:24 +0100 Re: [klio] 25 lat Raportu PTI z 1991, Andrzej Dyżewski, pt |
| Previous in thread: | |
| Next in thread: | 20 Jul 2016 19:11:24 +0100 RE: [st-pti] "Term" w rachunku lambda, Andrzej Dyżewski, pt |