[Inquiry] Re: Propositions As Types

[Jon Awbrey]

o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o

PAT.  Note 3

o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o

1.  Identity, or the Identifier (cont.)

Step 4 (cont.)

Term Development:  Contextual Definition ~~~> Combinator Construction

o-----------------------------------------------------------o
|                                                           |
|                   x                                       |
|                  (o)A                                     |
|                                                           |
o===========================================================o
|                                                           |
|      x     K             x     K                          |
|      o A   o A=>(B=>A)   o A   o A=>((B=>A)=>A)           |
|       \   /               \   /                           |
|        \ /                 \ /                            |
|        (o)B=>A             (o)(B=>A)=>A                   |
|          \                 /                              |
|           \               /                               |
|            \             /                                |
|             \           /                                 |
|              \         /                                  |
|               \       /                                   |
|                \     /                                    |
|                 \   /                                     |
|                  \ /                                      |
|                  (o)A                                     |
|                                                           |
o===========================================================o
|                                                           |
|                    K                 S                    |
|                    o A=>((B=>A)=>A)  o A=>((B=>A)=>A)     |
|                     \               /       =>            |
|                      \             / (A=>(B=>A))=>(A=>A)  |
|                       \           /                       |
|                        \         /                        |
|                         \       /                         |
|                          \     /                          |
|                           \   /                           |
|               K            \ /                            |
|               o A=>(B=>A)  (o)(A=>(B=>A))=>(A=>A)         |
|                \           /                              |
|                 \         /                               |
|                  \       /                                |
|                   \     /                                 |
|                    \   /                                  |
|                x    \ /                                   |
|                o A  (o)A=>A                               |
|                 \   /                                     |
|                  \ /                                      |
|                  (o)A                                     |
|                                                           |
o-----------------------------------------------------------o

Jon Awbrey

o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
inquiry e-lab: http://stderr.org/pipermail/inquiry/
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o