This document compares and contrasts the Windows Phone 7 Marketplace and Google Android Market in January 2011. It finds that these two app stores experienced the highest growth rates that month at 30% and 18% respectively. While app overlap between countries is over 97% for both stores, the Windows Phone 7 Marketplace has lower overlap (44-69%) among the top 100 apps in each country, indicating it is easier for consumers to find locally popular apps. The Google Android Market remains the only store with more free than paid apps. While 57 of the top 200 cross-platform publishers released apps for Windows Phone 7, it still attracts fewer developers than Android or Apple's stores.
Durgesh Yadav is a design engineer currently working at Jasubhai Engineering Pvt Ltd with over 5 years of experience. He has a Bachelor's degree in Mechanical Engineering and is proficient in CAD software like AutoCAD, Solidworks, and Pro-E. Some of his responsibilities include managing projects from design to production, providing technical solutions to customers, and training junior engineers. He has experience designing material handling equipment, weighing and bagging machines, filter presses, and piping systems.
El documento resume la segunda jornada de práctica docente del autor en la materia de Español. Se cumplió con el enfoque comunicativo y funcional planeado. Los estudiantes mostraron una actitud positiva y respeto hacia las actividades, aunque les costó investigar sobre lenguas indígenas de México para un debate. El autor logró que los estudiantes analizaran y aprendieran sobre estas lenguas a pesar de las dificultades.
The document discusses mental health and illness, including definitions, causes, symptoms, stigma and discrimination, and the Indian Mental Health Act of 1987. Some key points covered include:
- Mental health is defined as a state of well-being and ability to cope with stress and function productively. Mental illness refers to conditions that affect cognition, emotion, or behavior.
- Mental illnesses have biological, psychological, and social causes, and are not due to personal weakness. They can cause suffering, disability, and increased mortality.
- The Indian Mental Health Act of 1987 aimed to safeguard rights of the mentally ill and regulate institutions, but was criticized for not fully reflecting medical considerations or removing criminal stigma.
Pemerintah Indonesia berencana mengembangkan industri halal untuk mendukung pertumbuhan ekonomi. Beberapa langkah yang akan dilakukan antara lain meningkatkan sertifikasi produk halal dan mempromosikan pariwisata halal. Hal ini diharapkan dapat meningkatkan devisa negara dan menciptakan lapangan kerja.
This document compares and contrasts the Windows Phone 7 Marketplace and Google Android Market in January 2011. It finds that these two app stores experienced the highest growth rates that month at 30% and 18% respectively. While app overlap between countries is over 97% for both stores, the Windows Phone 7 Marketplace has lower overlap (44-69%) among the top 100 apps in each country, indicating it is easier for consumers to find locally popular apps. The Google Android Market remains the only store with more free than paid apps. While 57 of the top 200 cross-platform publishers released apps for Windows Phone 7, it still attracts fewer developers than Android or Apple's stores.
Durgesh Yadav is a design engineer currently working at Jasubhai Engineering Pvt Ltd with over 5 years of experience. He has a Bachelor's degree in Mechanical Engineering and is proficient in CAD software like AutoCAD, Solidworks, and Pro-E. Some of his responsibilities include managing projects from design to production, providing technical solutions to customers, and training junior engineers. He has experience designing material handling equipment, weighing and bagging machines, filter presses, and piping systems.
El documento resume la segunda jornada de práctica docente del autor en la materia de Español. Se cumplió con el enfoque comunicativo y funcional planeado. Los estudiantes mostraron una actitud positiva y respeto hacia las actividades, aunque les costó investigar sobre lenguas indígenas de México para un debate. El autor logró que los estudiantes analizaran y aprendieran sobre estas lenguas a pesar de las dificultades.
The document discusses mental health and illness, including definitions, causes, symptoms, stigma and discrimination, and the Indian Mental Health Act of 1987. Some key points covered include:
- Mental health is defined as a state of well-being and ability to cope with stress and function productively. Mental illness refers to conditions that affect cognition, emotion, or behavior.
- Mental illnesses have biological, psychological, and social causes, and are not due to personal weakness. They can cause suffering, disability, and increased mortality.
- The Indian Mental Health Act of 1987 aimed to safeguard rights of the mentally ill and regulate institutions, but was criticized for not fully reflecting medical considerations or removing criminal stigma.
Pemerintah Indonesia berencana mengembangkan industri halal untuk mendukung pertumbuhan ekonomi. Beberapa langkah yang akan dilakukan antara lain meningkatkan sertifikasi produk halal dan mempromosikan pariwisata halal. Hal ini diharapkan dapat meningkatkan devisa negara dan menciptakan lapangan kerja.
DevOps with visual studio release managementTechorama
This document discusses DevOps with Visual Studio Release Management. It provides an introduction to continuous delivery and release management. It discusses the history of Visual Studio and trends in development practices. It defines release management and describes the key aspects of Visual Studio Release Management like approval workflows, environment management, full traceability, and security management. It also discusses agentless deployments, Desired State Configuration (DSC) support, and how DSC works with Visual Studio Release Management. Finally, it highlights benefits of release management and keys to success.
Перспективні підходи та практичний досвід громадського моніторингу надання публічних послуг
Віталій Загайний, керівник Львівського регіонального відділення Асоціації міст України
Resultados e programação atualizada no 4º Jimavi (22-10-2013)esportealtovale
Este documento apresenta os resultados e classificações de diversas competições esportivas realizadas em 2013 pelo município de Jimavi. Foram realizados campeonatos de futebol masculino e feminino nas categorias sub-14 e sub-16, assim como campeonatos de voleibol masculino e feminino nas categorias adulto, sub-16 e sub-14. Os documentos detalham os jogos, datas, locais e classificações finais de cada competição.
The document discusses concurrency and synchronization in distributed computing. It provides an overview of Petr Kuznetsov's research at Telecom ParisTech, which includes algorithms and models for distributed systems. Some key points discussed are:
- Concurrency is important due to multi-core processors and distributed systems being everywhere. However, synchronization between concurrent processes introduces challenges.
- Common synchronization problems include mutual exclusion, readers-writers problems, and producer-consumer problems. Tools for synchronization include semaphores, transactional memory, and non-blocking algorithms.
- Characterizing distributed computing models and determining what problems can be solved in a given model is an important area of research, with implications for distributed system design.
The document discusses weakly supervised learning from video and images using convolutional neural networks. It describes using scripts as weak supervision for learning actions from movies without explicit labeling. Methods are presented for jointly learning actors and actions from scripts, and for action learning with ordering constraints. The use of CNNs for object and action recognition in images is also summarized, including work on training CNNs using only image-level labels without bounding boxes.
This document discusses common C++ bugs and tools to find them. It describes various types of memory access bugs like buffer overflows on the stack, heap, and globals that can lead to crashes or security vulnerabilities. Threading bugs like data races, deadlocks, and race conditions on object destruction are also covered. Other undefined behaviors like initialization order issues, lack of sequence points, and integer overflows are explained. The document provides examples of each type of bug and emphasizes that undefined behavior does not guarantee a predictable result. It concludes with a quiz to find bugs in a code sample and links to additional reading materials.
AddressSanitizer, ThreadSanitizer, and MemorySanitizer are compiler-based tools that detect bugs like buffer overflows, data races, and uninitialized memory reads in C/C++ programs. AddressSanitizer instruments loads and stores to detect out-of-bounds memory accesses. ThreadSanitizer intercepts synchronization calls to detect data races between threads. MemorySanitizer tracks initialized and uninitialized memory using shadow memory to find uses of uninitialized values. The tools have found thousands of bugs with low overhead. Future work includes supporting more platforms and languages and detecting additional bug classes.
This document discusses common C++ bugs and tools to find them. It describes various types of memory access bugs like buffer overflows on the stack, heap, and globals that can lead to crashes or security vulnerabilities. Threading bugs like data races, deadlocks, and race conditions on object destruction are also covered. Other undefined behaviors like initialization order issues, lack of sequence points, and integer overflows are explained. The document provides examples of each type of bug and quizzes the reader to find bugs in a code sample. It recommends resources for further reading on debugging techniques and thread sanitizers that can detect races and data races.
This document provides examples and snippets of code for MapReduce, Pig, Hive, Spark, Shark, and Disco frameworks. It also includes two sections of references for related papers and Disco documentation. The examples demonstrate basic MapReduce jobs with drivers, mappers, and reducers in Java, Pig and Hive queries, Spark and Shark table operations, and a Disco MapReduce job.
2. Íåôîðìàëüíîå ââåäåíèå (1)
 λ-èñ÷èñëåíèè äâå îïåðàöèè: ïðèìåíåíèå è àáñòðàêöèÿ.
Ïðèìåíåíèå (Application):
FX
Ïðîãðàìèñòñêèé âçãëÿä:
F (àëãîðèòì) ïðèìåíÿåòñÿ ê X (âõîäíûå äàííûå).
Äîïóñòèìî ñàìîïðèìåíåíèå F F.
2
3. Íåôîðìàëüíîå ââåäåíèå (2)
Àáñòðàêöèÿ (Abstraction):
Ïóñòü M ≡ M[x] âûðàæåíèå, ñîäåðæàùåå x. Òîãäà
λx. M
îáîçíà÷àåò ôóíêöèþ
x → M[x],
òî åñòü êàæäîìó x ñîïîñòàâëÿåòñÿ M[x].
Åñëè x â M[x] îòñóòñòâóåò, òî λx. M êîíñòàíòíàÿ ôóíêöèÿ
ñî çíà÷åíèåì M.
3
4. Íåôîðìàëüíîå ââåäåíèå (3)
Ïðèìåíåíèå è àáñòðàêöèÿ ðàáîòàþò ñîâìåñòíî:
(λx. 2 × x + 1) 42 = 2 × 42 + 1 (= 85).
F X
Òî åñòü (λx. 2 × x + 1) 42 ïðèìåíåíèå ôóíêöèè x → 2×x+1 ê
àðãóìåíòó 42, äàþùåå â ðåçóëüòàòå 2 × 42 + 1.
 îáùåì ñëó÷àå èìååì β-ïðåîáðàçîâàíèå
(λx. M) N = M[x := N],
ãäå M[x := N] îáîçíà÷àåò ïîäñòàíîâêó N âìåñòî x â M.
4
5. Òåðìû (1)
Ìíîæåñòâî λ-òåðìîâ Λ ñòðîèòñÿ èç ïåðåìåííûõ V = {x, y, z, . . .}
c ïîìîùüþ ïðèìåíåíèÿ è àáñòðàêöèè:
x∈V ⇒ x∈Λ
M, N ∈ Λ ⇒ (M N) ∈ Λ
M ∈ Λ, x ∈ V ⇒ (λx. M) ∈ Λ
 àáñòðàêòíîì ñèíòàêñèñå
Λ ::= V | (Λ Λ) | (λV. Λ)
Ñîãëàøåíèå. Ïðîèçâîëüíûå òåðìû ïèøåì çàãëàâíûìè áóê-
âàìè, ïåðåìåííûå ñòðî÷íûìè.
5
7. Òåðìû (3)
Ñîãëàøåíèÿ:
• Âíåøíèå ñêîáêè îïóñêàþòñÿ.
• Ïðèìåíåíèå àññîöèàòèâíî âëåâî :
FXY Z îáîçíà÷àåò (((F X) Y) Z)
• Àáñòðàêöèÿ àññîöèàòèâíà âïðàâî :
λx y z. M îáîçíà÷àåò (λx. (λy. (λz. (M))))
7
8. Òåðìû (4)
Òå æå ïðèìåðû, ñ èñïîëüçîâàíèåì ñîãëàøåíèé
x ≡ x
(x z) ≡ x z
(λx. (x z)) ≡ λx. x z
((λx. (x z)) y) ≡ (λx. x z) y
((λy. ((λx. (x z)) y)) w) ≡ (λy. (λx . x z) y) w
(λz. (λw. ((λy. ((λx. (x z)) y)) w))) ≡ λz w. (λy. (λx . x z) y) w
8
9. Ñâîáîäíûå è ñâÿçàííûå ïåðåìåííûå (1)
Àáñòðàêöèÿ λx . M[x] ñâÿçûâàåò äîòîëå ñâîáîäíóþ ïåðåìåí-
íóþ x â òåðìå M.
Ïðèìåðû:
(λy. (λx. x z) y) w
Ïåðåìåííûå x è y ñâÿçàííûå, à z è w ñâîáîäíûå.
(λx. (λx. x z) x) x
Ïåðåìåííàÿ x ñâÿçàííàÿ (äâàæäû!) è ñâîáîäíàÿ, à z
ñâîáîäíàÿ.
9
11. Ñâîáîäíûå è ñâÿçàííûå ïåðåìåííûå (3)
M çàìêíóòûé λ-òåðì (èëè êîìáèíàòîð ), åñëè FV(M) = ∅.
Ìíîæåñòâî çàìêíóòûõ λ-òåðìîâ îáîçíà÷àåòñÿ ÷åðåç Λ0.
Êëàññè÷åñêèå êîìáèíàòîðû:
I ≡ λx. x;
ω ≡ λx. x x; Ω ≡ ω ω = (λx. x x)(λx. x x);
K ≡ λx y. x; K∗ ≡ λx y. y;
S ≡ λf g x. f x (g x);
B ≡ λf g x. f (g x).
11
12. Ôóíêöèè íåñêîëüêèõ ïåðåìåííûõ, êàððèðîâàíèå
Øîíôèíêåëü (1924): ôóíêöèè íåñêîëüêèõ ïåðåìåííûõ ìî-
ãóò áûòü îïèñàíû ïîñëåäîâàòåëüíûì ïðèìåíåíèåì. Ïóñòü
ϕ(x, y, z) òåðì, çàâèñÿùèé îò x, y, z.
Φx,y = λz. ϕ(x, y, z)
Φx = λy. Φx,y = λy. (λz. ϕ(x, y, z))
Φ = λx. Φx = λx. (λy. (λz. ϕ(x, y, z))) = λx y z. ϕ(x, y, z)
Òîãäà
Φ X Y Z = ((Φ X) Y) Z = (ΦX Y) Z = ΦX,Y Z = ϕ(X, Y, Z).
 îáùåì ñëó÷àå
→
(λ x → →
x N
→
− . ϕ(− )) − = ϕ(−
N).
12
13. Òîæäåñòâåííîå ðàâåíñòâî òåðìîâ
Èìåíà ñâÿçàííûõ ïåðåìåííûõ íå âàæíû. Ïåðåèìåíóåì x â y:
λx. M[x], λy. M[y]
Îíè âåäóò ñåáÿ (ïðè ïîäñòàíîâêàõ) îäèíàêîâî:
(λx. M[x]) N = M[x := N], (λy. M[y]) N = M[y := N]
Ïîýòîìó M ≡ N îáîçíà÷àåò, ÷òî M è N ýòî îäèí è òîò æå
òåðì ñ òî÷íîñòüþ äî ïåðåèìåíîâàíèÿ ñâÿçàííûõ ïåðåìåí-
íûõ. Íàïðèìåð,
(λx. x) z ≡ (λx. x) z;
(λx. x) z ≡ (λy. y) z.
Èíîãäà òàêîå ïåðåèìåíîâàíèå íàçûâàþò α-ïðåîáðàçîâàíèåì
è ïèøóò M ≡α N.
13
14. Ïîäñòàíîâêà (1)
M[x := N] îáîçíà÷àåò ïîäñòàíîâêó N âìåñòî ñâîáîäíûõ âõîæ-
äåíèé x â M.
Ïðàâèëà ïîäñòàíîâêè:
x[x := N] ≡ N;
y[x := N] ≡ y;
(P Q)[x := N] ≡ (P[x := N]) (Q[x := N]);
(λy. P)[x := N] ≡ λy. (P[x := N]), y ∈ FV(N);
(λx. P)[x := N] ≡ (λx. P).
Ïîäðàçóìåâàåòñÿ, ÷òî x ≡ y.
Ïðèìåð:
((λx. (λx . x z) x) x)[x := N] ≡ (λx. (λx . x z) x) N
14
15. Ïîäñòàíîâêà (2)
Íåïðèÿòíîñòü: (λy. x y)[x := y] (y ∈ FV(N) â ÷åòâ¼ðòîì ïðàâèëå).
Ñîãëàøåíèå Áàðåíäðåãòà: Èìåíà ñâÿçàííûõ ïåðåìåííûõ
âñåãäà áóäåì âûáèðàòü òàê, ÷òîáû îíè îòëè÷àëèñü îò ñâî-
áîäíûõ ïåðåìåííûõ â òåðìå (òåðìàõ).
Íàïðèìåð, âìåñòî
y(λx y. x y z)
áóäåì ïèñàòü
y(λx y . x y z)
Òîãäà ìîæíî èñïîëüçîâàòü ïîäñòàíîâêó áåç îãîâîðêè î ñâî-
áîäíûõ è ñâÿçàííûõ ïåðåìåííûõ.
15
16. Ëåììà ïîäñòàíîâêè
Ëåììà ïîäñòàíîâêè.
Ïóñòü M, N, L ∈ Λ. Ïðåäïîëîæèì x≡y è x ∈ FV(L). Òîãäà
M[x := N][y := L] ≡ M[y := L][x := N[y := L]].
Äîêàçàòåëüñòâî. Èíäóêöèåé ïî ñòðóêòóðå M.
1. M = z. Òðèâèàëüíî.
2. M = x.
x[x := N][y := L] = N[y := L];
x[y := L][x := N[y := L]] = x[x := N[y := L]] = N[y := L].
3. M = y.
y[x := N][y := L] = y[y := L] = L;
y[y := L][x := N[y := L]] = L[x := N[y := L]] = L, ò.ê. x ∈ FV(L).
16
19. Ïðåîáðàçîâàíèÿ (êîíâåðñèè): β
• Îñíîâíàÿ ñõåìà àêñèîì äëÿ λ-èñ÷èñëåíèÿ: äëÿ ëþáûõ
M, N ∈ Λ
(λx . M)N = M[x := N] (β)
• ¾Ëîãè÷åñêèå¿ àêñèîìû è ïðàâèëà:
M = M; M = N ⇒ N = M; M = N, N = L ⇒ M = L;
M=M ⇒ M Z = M Z; M=M ⇒ ZM = ZM ;
M=M ⇒ λx. M = λx. M (ïðàâèëî ξ).
• Åñëè M=N äîêàçóåìî â λ-èñ÷èñëåíèè, ïèøóò λ M = N.
19
20. Ïðåîáðàçîâàíèÿ (êîíâåðñèè): α è η
Èíîãäà ââîäÿò:
• ñõåìó àêñèîì α-ïðåîáðàçîâàíèÿ:
λx . M = λy . M[x := y] (α)
â ïðåäïîëîæåíèè, ÷òî y ∈ FV(M);
• ñõåìó àêñèîì η-ïðåîáðàçîâàíèÿ:
λx . M x = M (η)
â ïðåäïîëîæåíèè, ÷òî x ∈ FV(M).
20
21. Ïðåîáðàçîâàíèÿ (êîíâåðñèè): α
Äëÿ ðàññóæäåíèé äîñòàòî÷íî ñîãëàøåíèÿ Áàðåíäðåãòà, íî
äëÿ êîìïüþòåðíîé ðåàëèçàöèè α-ïðåîáðàçîâàíèå ïîëåçíî:
Ïóñòü ω ≡ λx. x x è 1 ≡ λy z. y z. Òîãäà
ω 1 ≡ (λx. x x)(λy z. y z)
= (λy z. y z)(λy z. y z)
= λz. (λy z. y z) z
≡ λz. (λy z . y z ) z
= λz z . z z
≡ λy z. y z
≡ 1.
21
22. Ïðåîáðàçîâàíèÿ (êîíâåðñèè): α
Èíäåêñû Äå Áðàóíà (De Bruijn) ïðåäñòàâëÿþò àëüòåðíà-
òèâíûé ñïîñîá ïðåäñòàâëåíèÿ òåðìîâ.
Ïåðåìåííûå íå èìåíóþòñÿ, à íóìåðóþòñÿ (èíäåêñèðóþòñÿ),
èíäåêñ ïîêàçûâàåò, ñêîëüêî ëÿìáä íàçàä ïåðåìåííàÿ áûëà
ñâÿçàíà:
λx. (λy. x y) ↔ λ (λ 2 1)
λx. x (λy. x y y) ↔ λ 1 (λ 2 1 1)
Ïîäðîáíåå [ËÈÑÑ, Ïðèëîæåíèå C], [TAPL, 6]
22
23. Ïðåîáðàçîâàíèÿ (êîíâåðñèè): η
η-ïðåîáðàçîâàíèå îáåñïå÷èâàåò ïðèíöèï ýêñòåíñèîíàëüíî-
ñòè : äâå ôóíêöèè ñ÷èòàþòñÿ ýêñòåíñèîíàëüíî ýêâèâàëåíò-
íûìè, åñëè îíè äàþò îäèíàêîâûé ðåçóëüòàò ïðè îäèíàêîâîì
ââîäå:
∀x : F x = G x.
Âûáèðàÿ y ∈ FV(F) ∪ FV(G), ïîëó÷àåì (ξ, çàòåì η)
Fy = Gy
λy. F y = λy. G y
F = G
23
24. Òåðìîâûå óðàâíåíèÿ
Ñõåìà β-ðåäóêöèè äà¼ò íàì âîçìîæíîñòü ðåøàòü ïðîñòåéøèå
óðàâíåíèÿ íà òåðìû.
Ïðèìåð: íàéòè F, òàêîé ÷òî ∀ M, N, L λ F M N L = M L (N L).
F M N L = M L (N L)
F M N = λz. M z (N z)
F M = λy. λz. M z (y z)
F = λx y z. x z (y z)
À åñëè óðàâíåíèå ðåêóðñèâíîå, íàïðèìåð, F M = M F?
24
25. Òåîðåìà íåïîäâèæíîé òî÷êè (1)
Òåîðåìà. Äëÿ ëþáîãî λ-òåðìà F ñóùåñòâóåò íåïîäâèæíàÿ
òî÷êà:
∀F ∈ Λ ∃X ∈ Λ λ FX = X
Äîê-âî. Ââåäåì W ≡ λx. F (x x) è X ≡ W W . Òîãäà
X ≡ W W ≡ (λx. F(x x)) W = F (W W) ≡ F X
Òåîðåìà. Ñóùåñòâóåò êîìáèíàòîð íåïîäâèæíîé òî÷êè
Y ≡ λf. (λx. f (x x))(λx. f (x x)),
òàêîé ÷òî ∀F F(Y F) = Y F.
Äîê-âî. Y F ≡ (λx. F (x x))(λx. F (x x)) = F ((λx. F (x x))(λx. F (x x))) ≡
YF
F(Y F)
25
26. Òåîðåìà íåïîäâèæíîé òî÷êè (2)
Y -êîìáèíàòîð ïîçâîëÿåò ââåñòè ðåêóðñèþ â λ-èñ÷èñëåíèå.
Ôàêòîðèàë ðåêóðñèâíî:
FAC = λn. IIF (ISZRO n) 1 (MULT n (FAC (PRED n)))
Ïåðåïèñûâàåì â âèäå
FAC = (λf n. IIF (ISZRO n) 1 (MULT n (f (PRED n)))) FAC
Îòñþäà âèäíî, ÷òî FAC íåïîäâèæíàÿ òî÷êà äëÿ ôóíêöèè
F ≡ λf n. IIF (ISZRO n) 1 (MULT n (f (PRED n))):
FAC = Y F
26
27. Òåîðåìà íåïîäâèæíîé òî÷êè (3)
Êàê ðàáîòàåò FAC ≡ Y F?
FAC 3 = (Y F) 3
= F (Y F) 3
= IIF (ISZRO 3) 1 (MULT 3 ((Y F) (PRED 3)))
= MULT 3 ((Y F) 2)
= MULT 3 (F (Y F) 2)
= MULT 3 (MULT 2 ((Y F) 1))
= MULT 3 (MULT 2 (MULT 1 ((Y F) 0)))
= MULT 3 (MULT 2 (MULT 1 1))
= 6
27
28. Äîìàøíåå çàäàíèå
Äîêàæèòå,
÷òî S K K = I, B = S (K S) K.
÷òî ïðèìåíåíèå íåêîììóòàòèâíî è íåàññîöèàòèâíî.
Çàâåðøèòå äîêàçàòåëüñòâî ëåììû ïîäñòàíîâêè.
Ðåàëèçóéòå àëãîðèòì ïîäñòàíîâêè íà êàêîì-ëèáî ßÏ.
Ñêîíñòðóèðóéòå
¾ïîæèðàòåëü¿, òî åñòü òàêîé òåðì F, êîòîðûé äëÿ ëþáîãî
M îáåñïå÷èâàåò F M = F.
òåðì F òàêèì îáðàçîì, ÷òîáû äëÿ ëþáîãî M âûïîëíÿëîñü
F M = M F.
òåðì F òàêèì îáðàçîì, ÷òîáû äëÿ ëþáûõ òåðìîâ M è N
âûïîëíÿëîñü F M N = N F (N M F).
28
29. Ëèòåðàòóðà (1)
LCWT ãë. 2.1
Henk Barendregt, Lambda calculi with types,
Handbook of logic in computer science (vol. 2), Oxford University
Press, 1993
TAPL ãë. 5, 6
Benjamin C. Pierce, Types and Programming Languages, MIT
Press, 2002
29
30. Ëèòåðàòóðà (2)
I2FP ãë. 2
John Harrison, Introduction to Functional Programming
ËÈÑÑ ãë. 2
Õ. Áàðåíäðåãò, Ëàìáäà-èñ÷èñëåíèå, åãî ñèíòàêñèñ è ñåìàí-
òèêà, Ì:Ìèð, 1985
30