Վերադառնալ հոդվածի Մանրամասներին
On typed and untyped lambda-terms (Տիպիզացված և ոչ տիպիզացված լամբդա-թերմերի մասին)
Download
Download PDF