Top Banner
13

A lambda calculus of objects with self-inflicted extension

May 04, 2023

Download

Documents

Amel Bennaceur
Welcome message from author
This document is posted to help you gain knowledge. Please leave a comment to let me know what you think about it! Share it to your friends and learn new things together.
Transcript
Page 1: A lambda calculus of objects with self-inflicted extension

� ����������� ���������������������� ���"!#��$�%&!#')(*�+����,.-0/213%4�"!#���65879!#�+/��#%4�:/

;*<>=.?A@ABDCE<�FG<>H0IJH IK?LB I"<>BMKN OQP.R�NTSVUXWZY\[]UXW^N`_\U+Y\RbadcfehgjiZ[]UXW^N`_\U

k0cfN l&Y\i>m^N WonU+R�NQkKR�N cpYadqsrjr4touju]k R�N cpYjvwadWZUXx y

R�N zXN`UXcpUXc4W>gXcfN g4{KR�N`["NdP |�cfN |pRQP N W

}�~ @Q<ZBD��BKIJ�w=����M N OQP�R�N�SVUXWZY\[]UXWZN _�U�Y\RVadcfe�gji>["UXWZN`_\U

k c�N l&Y\i>mZN WXnU�R�NQkKR�N cfYadqsrjr4touju]kKR�N cpYjvpadW>UXx y� gXcpm>Y�x x�{KR�N`["NdP |fc�N |pR�P N W

� ~ <>�K<b�V<>� ~ B @�<MKN O�P�R�NQSVUXW>Y\[]UXW^N`_\U�Y\R�adcfe�gji>[]UXW^N`_\U

k cfN l&Y\iZmZN WonU�R�NQk R�N cpYadqsrjr4touju]k R�N cpYjvpadWZUXx yx N`�&|pgjiZN�{KR�N`["NdP |fc�N |pR�P N W

���p�����s�p�&��>�3�\ �¡£¢�¤Q¥�¤�¦�§�¨K¦9¡��w©f¦o¢��\¡�ª�¥4�\¦�«J¡£�¬�\ A¦�­X®��p�\¦o¯w��®�°J±�²w³�´jµd¶¸·�³Q¹�º»�¼ ·fµ¸·fµd½ »A¾X¿>À ¹�Á ¾� º`¹�³fÃ�²L¹jà ¾ Á\«�®�ÄwÅ�¦X­o�\¢�¨� A¡£­� �ÆÇ¡£ª� p�.¦o¯w�\¦X��È��\ �¦XÆVÉ¢�¦XÊ£©f¦X¢�Ë�¤�®��:§\¦X­X¦X¡£©w¡£��ª�¥ÇÆǦX¢�¢\¥�ª�¦�Ì�Í# �¦+¤�®�¢�¢�¡£Ä�¡£Ê£¡`�>ÎÏ°h®�§]¥��9®�ÄLÉÅ�¦o­o��®�°K¦o¯w�\¦X�QÈL¡£��ª�¡`�\¢�®&¨��Ð\¢�¦oÊ£°�ÑA«�§\¦�°d¦o§�§\¦jÈ9�\®ÒÄpÎ*Ó#¥&§�ÈA¦Xʣʣ¡¸«Ô¥4¢¥3Á ¾ º ± ¿ ¶d³XÕK¶¸´jµ ¾� ®�¤�¦o§�¥&�\¡�®���«Ö¡£¢���®&©f¦oÊJ¡£�3�\ �¦:­o®��p�\¦o¯w��®�°��>ÎL¤�¦jÈ®�ÄpÅ�¦o­o��É^ÄQ¥�¢�¦XÈ×Ê�¥��Aª�ËQ¥4ª�¦X¢XÌ×Ø�¦Ò¤A§\¦X¢�¦X�p��¥*¢�®�ËA�QÈ�>ÎL¤�¦Ò¢�ÎL¢��\¦XÆ°d®4§��\ �¡£¢Ç­j¥�Ê£­XËAÊ£Ë�¢Ç¨� �¡£­� ª�Ë�¥4§�¥��p�\¦X¦o¢��\ �¥4��¦X©�¥�Ê£Ë�¥4�\¡£��ª¥9¨#¦XÊ£Ê`É�>ÎL¤�¦jÈ+¦o¯L¤A§\¦X¢�¢�¡£®���¨�¡£Ê£ÊQ�A¦X©f¦o§ÙÎL¡£¦XÊ�ÈÇ¥�ÚAÛwÜfÜ�Ý�ÞfÛpß4àLá�âpß�ãwá4äfàfå�§\Ë��LÉ�\¡£ÆǦ�¦o§�§\®�§jÌ�Ø2¦�ª�¡£©f¦:¢�¦o©f¦o§�¥�ÊK¦o¯A¥�ÆǤ�Ê£¦X¢+¨� �¡£­� 3¡£Ê£Ê£Ë�¢���§�¥&�\¦:�\ �¦¡£��­o§\¦X¥�¢�¦jÈV¦o¯L¤L§\¦X¢�¢�¡£©f¦Ö¤�®j¨#¦o§ ®�°.®�ËL§0¢�ÎA¢��\¦oÆ8¨�¡`�\ �§\¦o¢�¤�¦X­o�0�\®�¦o¯wÉ¡£¢��\¡£��ª�­j¥4Ê�­oË�Ê£¡#®�°�®�ÄwÅ�¦X­o�\¢XÌ9Í# A¦���¦o¨8�>ÎL¤�¦Ç¢�ÎL¢��\¦XÆ�¥4Ê�Ê£®j¨�¢Ç¥4Ê�¢�®°d®4§Ö¥"æ�¦o¯L¡�ÄAÊ£¦�çÙ¶  µ�è ¿ Á\² À µd½ » ¶d³pÃ�«A¢��\¡£Ê£ÊQ¤�¦o§\ÆÇ¡`���\¡£��ª�¢�®�ËA�QÈ�ÆǦ��\ �®wÈ®&©f¦o§�§\¡�ÈA¦�«K¥4�QÈé¥9Ê�¡£ÆÇ¡`�\¦jÈ�°d®4§\Æ�®4°"®�ÄwÅ�¦X­o�Ǧo¯w�\¦X�A¢�¡£®���ÌÍ# �¦�§\¦oÉ¢�Ë�Ê`�\¡£��ª9­j¥4Ê£­XË�Ê£Ë�¢V¥�¤�¤�¦X¥4§\¢b�\®*Ä�¦�¥*ª�®p®wÈ3¢���¥&§��\¡£��ª9¤�®�¡£�p��°h®�§�¥§\¡£ª�®4§\®�Ë�¢JÆ�¥4�\ A¦XÆ�¥4�\¡£­j¥4Ê.¥��Q¥4Ê`ÎA¢�¡£¢J®�°Ô­oÊ�¥4¢�¢�É^ÄQ¥�¢�¦XÈÏÊ�¥4��ª�ËQ¥�ª�¦X¢XÌêìë�í ���^î�ï�ðw�j��ñ î íò �3Ë��p�ZÎA¤�¦XÈéÊ�¥4Æ�ÄTÈ�¥9­j¥4Ê�­oË�Ê£Ë�¢�¦o¯w�\¦X��ÈA¦jȨ�¡`�\ ¬®�ÄpÅ�¦o­o��¤A§\¡£ÆÇ¡`É�\¡£©f¦X¢X«T�\®�ª�¦o�\ �¦�§�¨�¡£�\ 2¥�¢�®�Ë���È9�ZÎA¤�¦�¥�¢�¢�¡£ª��AÆǦX�p��¢�ÎL¢��\¦XÆÏ«T¨#¦o§\¦¡£�p��§\®wÈAË�­o¦jÈ�ÄwÎÏó�¡£¢� �¦o§j«.ô"®���¢�¦Xʣʸ«�¥���Èöõ:¡`�\­� �¦XÊ£Ê�÷`øjù�ús«.¥4¢�¥�¢�®�Ê£¡�È°d®�Ë���È�¥4�\¡£®��é°h®�§V°hË��A­o�\¡£®��Q¥4Ê#�>ÎL¤�¦jÈ�®�ÄwÅ�¦X­o��É^®�§\¡£¦X�p�\¦jÈéÊ�¥���ª�ËQ¥4ª�¦X¢XÌ�>���\ �¡£¢�¢�ÎL¢��\¦XÆÏ«&­X¥�ʣʣ¦jÈ]�\ �¦ û.¹�ü À� ¹VýÙ¹fº`´X²Lº ²wÁ ·�±Jþ Àdÿj¾ ´jµdÁ�����������«®�ÄpÅ�¦o­o�\¢�¥&§\¦�Ë��p�>ÎL¤�¦jÈT«�¥4�QÈ�¥:�A¦o¨D®�ÄpÅ�¦X­o�bÆ�¥XÎ*Ä�¦Ç­o§\¦j¥4�\¦XÈ2ÄpÎÆÇ®wÈA¡`°�ÎA¡£�AªV®�§"¦o¯w�\¦X�QÈL¡��AªÇ¥���¦�¯A¡£¢��\¡£��ª »Q¼ ·fµ¸·fµd½ »A¾ Ì"Í# �¦���¦o¨ ®�ÄLÉÅ�¦o­o�V�\ �¦�§\¦XÄpÎ�¡£�� A¦o§\¡`�\¢�¤A§\®�¤�¦o§��\¡£¦X¢�°�§\®�Æ �\ A¦Ò®4§\¡£ª�¡£�Q¥4ÊJ®���¦Ò¡��3¥­X®��w��§\®�Ê£Ê�¦XÈöÆ�¥��A��¦o§jÌ �"ÄpÅ�¦X­o�\¢�­X¥��2Ä�¦b©w¡�¦�¨#¦jÈö¥�¢�Ê£¡£¢��\¢+®4°Ö¤Q¥4¡`§\¢� ü ¾ µ�èL·  ³Q¹�ü ¾�� ü ¾ µ�èL· Â:À ·  ½���¨� �¦�§\¦]�\ �¦]ÆǦo�\ A®wÈ�Ä�®wÈwÎ�¡�¢��¸®4§§\¦jÈLË�­X¦X¢ �\®�K¥bÊ�¥4Æ�ÄTÈ�¥+¥�ÄA¢���§�¥�­o�\¡£®��Ò¨� �®�¢�¦���§\¢��#°h®�§\Æ�¥4Ê.¤�¥4§�¥4ÆVɦo�\¦o§J¡£¢J¥�Ê`¨Ö¥XÎL¢"Ü�Û���ã��¸®4§�â����fÜb¡£����� �"!�# $�%�$&�Ì

Í# �¦V�ZÎA¤�¦�¥�¢�¢�¡£ª��AÆǦX�p��¢�ÎL¢��\¦XÆ ®4°'���(�)�:¡�¢�¢�¦���Ë�¤*¢�®�¥�¢]�\®¤A§\¦o©f¦X�p���\ �¦ Ë��L°d®�§��\ËA�Q¥&�\¦ÙÚ�ÛwÜfÜ�Ý�ÞpÛpß4àwá�âwß�ãwá&äfàpåb§\ËA�AÉs�\¡£ÆǦ ¦�§�§\®�§jÌÍ0ÎL¤�¦X¢�®�° ÆǦo�\ �®wÈL¢]¥&§\¦V¥�ʣʣ®j¨#¦jÈ��\®�Ä�¦�Á »A¾ ´X¶¸¹fº ¶+* ¾� �\®��\ �¦��>ÎL¤�¦®�°Ö�\ A¦Ç¡£�� �¦�§\¡£�\¡£�Aª�®�ÄpÅ�¦X­o�\¢XÌ�Í# �¡£¢+°h¦j¥4�\ËL§\¦�«ÙË�¢�Ë�¥�Ê£Ê`Î2§\¦o°h¦o§�§\¦jÈ2�\®¥�¢]Ð�õÒÎw�ZÎA¤�¦�ÆǦo�\ A®wÈb¢�¤�¦X­o¡�¥4Ê£¡+,X¥4�\¡£®��AÑA«L§\¦X¡£�w�\¦�§\¤A§\¦o�\¢Ù�\ �¦�¢�ÎLÆ�Ä�®�ÊÜ�Û��4ã:¡£�*�\ A¦b�ZÎA¤�¦+®�° �\ �¦+¡£�� �¦�§\¡£�\¡£�AªÒ®�ÄwÅ�¦X­o�jÌbÍ# �¡£¢� �¡£ª� öÆbËA��¥4ÉÄ�¡£Ê£¡`�>Îb®�°�ÆǦ��\ �®wÈbÄ�®wÈL¡£¦X¢ ¡£¢0¥�­o­X®�ÆÇÆÇ®wÈA¥4�\¦jÈ+¡��b�\ �¦#�>ÎL¤�¦#¢�ÎL¢��\¦XÆ©w¡�¥V¥��Ï¡£ÆǤAÊ�¡£­X¡`�Ö°h®�§\Æ ®�°Kèw¶`Ã4è ¾o¼o¿ · ¼>Âp¾o¼J» ·�º ½�ü�· ¼^» èw¶dÁ\ü�«�¡��A¢�¤�¡`§\¦jÈÄpÎÇ�\ �¦]�\ A¦"¨#®4§.-Ò®4°�Ø¥4�QÈÒ®��Ϧo¯w�\¦X�A¢�¡�ÄAÊ£¦]§\¦X­X®�§�ÈL¢�÷ /�04úsÌ

Í# A¦�­j¥�Ê£­XËAÊ�ËA¢1������ Q¥�¢�¢�¤�ËL§�§\¦jÈ¥4�G¡��p�\¦X�A¢�¦�§\¦X¢�¦j¥4§\­� G¡£��>ÎL¤�¦Ç¥4¢�¢�¡�ª���ÆǦX�p��¢�ÎL¢��\¦XÆÇ¢]°h®�§+®�ÄpÅ�¦X­��b­X¥�Ê£­XË�Ê£¡¸Ì32L¦X©�¦o§�¥�Ê0­j¥�Ê£­XËAÊ£¡¡£��¢�¤�¡`§\¦jÈGÄpÎ4���(���«�¨� �¡£­� �¥�­X­X®�ÆÇÆÇ®wÈ�¥&�\¦*©�¥4§\¡£®�Ë�¢�¦o¯w��§�¥2°d¦j¥&É�\ËA§\¦X¢J¢�Ë�­� �¥4¢�¡£��­o®�ÆǤ�Ê£¦o�\¦�®�ÄwÅ�¦X­o�\¢X«T¢�ËAÄA�>ÎL¤A¡��AªA«A¦X��­X¥�¤�¢�ËAÊ�¥4�\¡£®��.«¡£ÆǤ�¦o§�¥4�\¡£©f¦Ù°d¦j¥&�\ËA§\¦X¢X«� Q¥j©f¦0¥4¤�¤�¦j¥&§\¦jÈ+¡£���\ �¦ÙÊ£¡`�\¦o§�¥4�\ËL§\¦K¡£��§\¦X­X¦X�p�Îp¦j¥&§\¢(�¸¢�¦o¦ ¾65 à 5 ÷`ø67L«�8L«.ø90p«�0w«;:L«�ø=<A«Qù&ú>�Ì�Z�QÈA¦o¤�¦X�QÈL¦X�p�\Ê£Îp« ò ÄQ¥�ÈA¡p¥4�QÈbÓ#¥4§�ÈL¦XÊ£Ê�¡w �¥&©�¦K¡£�p��§\®wÈAË�­o¦jÈ.«&¨�¡`�\ �\ �¦Ö¢\¥4ÆǦK°d®�Ë��QÈA¥4�\¡£®���¥�ÊA¢�¤�¡`§\¡`�j«��\ �¦bþ Àdÿj¾ ´jµKýÙ¹fº`´X²Lº ²wÁ0÷£øoú^ÌÔÍ# �¡£¢Ù¡�¢¥"­j¥4Ê�­oË�Ê£Ë�¢0®�°Ôµd½ »A¾� · ÀdÿX¾ ´jµdÁ�¥���È�¥�ʣʣ®j¨�¢0°h®�§K¥���¥4�\ËA§�¥4ÊL��§\¦X¥4�\ÆǦX�p�®�°Ù¢�ËAÄA�>ÎL¤A¡��Aª�¥4�QÈ: A¦X��­o¦]®�°Ù­X®wÈL¦]§\¦XË�¢�¦�Ì

Í# A¦V¦X¢�¢�¦X�p�\¡�¥�ÊKÈA¡@?T¦o§\¦X�A­X¦X¢�Ä�¦o�>¨K¦X¦X�A���(���¥4�QÈö�\ A¦B�"ÄwÅ�¦X­o�Ó#¥�Ê£­XËAÊ�ËA¢Ù®�° ò ÄQ¥�ÈL¡w¥���È�Ó#¥&§�ÈA¦Xʣʣ¡¸«w¥4§\¦K�\ �¥4�Ù®�ÄwÅ�¦X­o�\¢Ù¡£�+�\ A¦KÊ�¥4���\¦o§­j¥�Ê£­XËAÊ£Ë�¢�¥4§\¦µd½ »A¾� ¥��QÈé Q¥j©f¦Ï¥3CED ¾� Á\¶+* ¾ «#¨� �¡£Ê£¦Ï®�ÄwÅ�¦X­o�\¢X«�¡£����(�)�Q«�¥4§\¦Ï²w³Qµd½ »A¾� «Ù¥4�QÈö­X¥���Ä�¦ ¾ D�µ ¾ ³ Âp¾� «Ô�\ �¦�§\¦XÄpÎ9­� �¥���ª�¡£��ªÈLÎL�Q¥4ÆÇ¡£­j¥�Ê£Ê`Î��\ �¦X¡`§J¢� Q¥4¤�¦�Ì

õ:®4§\¦:¢�¤�¦X­X¡@��­j¥�Ê£Ê`Îp«F������ö¢�ËA¤�¤�®4§��\¢b�>¨K®ö®�¤�¦o§�¥4�\¡£®���¢V¨� �¡£­� Æ�¥Xέ� �¥��Aª�¦Ò�\ A¦:¢� �¥�¤�¦:®4°]¥4�×®�ÄwÅ�¦X­o�6Göü ¾ µ�èL·  ¹ Â� ¶¸µd¶¸·�³2¥���Èü ¾ µ�èL·  ·IH ¾o¼�¼ ¶ Âp¾ Ì �"��¦+®�°K�\ A¦bÆÇ®�¢���¤�®j¨#¦o§�°hË�ÊÔ°d¦X¥4�\ËA§\¦o¢�®�°0�\ �¦�>ÎL¤�¡£�Aª+¢�ÎL¢��\¦XÆ ¡£¢ �\®+¥�ʣʣ®j¨G°d®4§#�\ �¦��>ÎL¤�¡£�Aª�®�°�ÆǦo�\ �®wÈ�Ä�®wÈL¡£¦X¢#¡£�®�ÄpÅ�¦X­��\¢�¨� �¡£­� Ï­j¥4��ÆÇ®wÈA¡`°hÎ��\ �¦o¡£§�®j¨��*Ü�Û��4ã�Ì�Ó#¥&§�ÈA¦Xʣʣ¡�§\¦o°h¦o§�§\¦jÈ�\®��\ �¡£¢b­X¥�¤Q¥4Ä�¡£Ê£¡`�>ή4°"¥ÏÆǦ��\ �®wÈ2®4°�®�¤�¦o§�¥4�\¡£�AªöÈL¡`§\¦X­o�\Ê`Î�®��3¡`�\¢®j¨��Ï¢�¦XÊ`°0¥�¢�¥ÒÁ ¾ º ± ¿ ¶d³jÕK¶¸´jµ ¾� ®�¤�¦o§�¥4�\¡£®��÷`ø6/4úsÌJ"D�¹�ü » º ¾LKM5>K ýÙ·�³�Á\¶ Âp¾o¼ µ�è ¾ ü ¾ µ�èL·  Ü�Û�â N À\¾ º`·�³pÃ�¶d³fÃ�µ¸·�¹ » ·�¶d³Qµ· Àdÿj¾ ´jµPOLáM�&àpâöçÙ¶¸µ�è:¹�³QNLC ¾ º Â�ROLáM�&àpâTSUWV N X �TÜ�Û��4ã&Y�ø�!

Ü�Û�â NZX �TÜ�Û��4ã&Y �;[�Y V Ü4Û���ã"\B]^NLX_�TÜ�Û���ã&Y [�`a!Y=Y�Y@`aY

b�è ¾ ³öç ¾ Á ¾ ³  Ü�Û�â N*µ¸·cOLáM�&àpâöçÙ¶¸µ�è�¹�³ö¹ ¼ Ã�²wü ¾ ³�µed � ç ¼ ¶¸µ¸µ ¾ ³¹�Á(OLá��&àpâgf�Ü�Û�â Nh�id� � µ�è ¾ ³¬ç ¾b»Q¼ ·  ²L´ ¾ ¹�Á:¹ ¼�¾ Á�²Lº`µ�¹�³ ¾ ç· Àdÿj¾ ´jµVç�è ¾o¼�¾ µ�è ¾ NjC ¾ º  èL¹�Á À�¾\¾ ³ Á ¾ µ � ¡¸Ì ¦�Ì ·IH ¾o¼�¼ ¶ ÂfÂp¾ ³M�鵸·d 5(k ·�µd¶¸´ ¾ µ�è ¾ Á ¾ º ± ¿ ¶d³XÕK¶¸´jµ ¾� · »A¾o¼ ¹�µd¶¸·�³é·�±+· Àdÿj¾ ´jµ�·IH ¾o¼�¼ ¶ Âp¾ � ¡¸Ì ¦�Ì\B]l� »A¾o¼ ±o· ¼ ü ¾�ÂÏÀ ½�µ�è ¾ ü ¾ µ�èw·  Ü�Û�â N 5ô�®&¨K¦X©f¦o§j«0¡£�3¥�Ê£ÊÖ�\ �¦��>ÎL¤�¦�¢�ÎA¢��\¦oÆÇ¢+°h®�§�Ê�¥�ÆbÄTÈ�¥Ï­j¥4Ê�­oË�Ê£¡�®�°

®�ÄpÅ�¦X­��\¢X«KÄ�®4�\ ��\ �®�¢�¦ÒÈA¦�§\¡�©�¦jÈ2°h§\®�Æm���(�)�A« ¥��QÈ2�\ A®�¢�¦ÒÈA¦o§\¡£©f¦XÈ°h§\®�Æ8�\ A¦l�"ÄpÅ�¦X­o�KÓ#¥4Ê�­oË�Ê£Ë�¢X«f�\ A¦K�>ÎL¤�¦#¢�ÎL¢��\¦XÆ ¤A§\¦X©f¦o�w�\¢��\ A¦#¤�®�¢�É¢�¡£Ä�¡£Ê£¡£�ZÎ�°d®4§�¥ÇÆǦo�\ �®wÈ��\®�¢�¦oÊ£°�É^¡��LæQ¡£­o��¥4��¦o¯w�\¦X��¢�¡£®��9�\®Ç�\ A¦+ A®�¢��®�ÄpÅ�¦X­��jÌbØ2¦b°d¦o¦XÊÔ�\ Q¥4�"�\ �¡£¢]¡£¢�¥��*Ë��A¤�Ê£¦j¥�¢\¥4�p��Ê£¡�ÆÇ¡`��¥&�\¡�®��ö¡`° �\ �¦ü ¾ Á\Á�¹jà ¾X¿`» ¹�Á\Á�¶h³pà » ¹ ¼ ¹  ¶£Ã�ü ¡£¢+�\®�Ä�¦V��¥n-f¦X��¡£��°dËAÊ£ÊKª�¦o��¦o§�¥4Ê�¡`�ZÎpÌõ:®�§\¦X®&©f¦�§j«�¡£�o�������«Q�\ �¡£¢�Ê�¡£ÆÇ¡`��¥4�\¡£®��ö¥4¤�¤�¦j¥&§\¢�¥4§\ÄA¡`��§�¥4§�Îp«�ª�¡�©�¦X��\ Q¥&�V�\ �¦�®�¤�¦o§�¥&�\¡£®��Q¥4Ê�¢�¦XÆ�¥��p�\¡£­X¢�¢�ËA¤�¤�®4§��\¢�¨�¡`�\ �®�ËL��ÈA¡@pÇ­oË�Ê`�>΢�¦XÊ`°hÉ^¡£�Aæ�¡�­��\¦jÈϦo¯w�\¦X��¢�¡£®��:ÆǦo�\ A®wÈA¢XÌ

Í# A¦o§\¦#¥&§\¦K¤�Ê£¦X�p�ZÎ�®�°�¢�¡£�\Ë�¥4�\¡£®��A¢X«�Ä�®4�\ b¡£��¤A§\®�ª�§�¥4ÆÇÆÇ¡��AªA«�¥���È¡£�ק\¦j¥4ÊJÊ£¡`°d¦�«Ö¨� �¦o§\¦Ï¡`�V¨K®�ËAÊ�È3Ä�¦:­X®��w©f¦X��¡£¦X�p�V�\®ö Q¥j©f¦Ò®�ÄpÅ�¦X­o�\¢¨� �¡£­� bÆÇ®wÈL¡£°�Î"�\ A¦X¡`§Ô¡£�w�\¦�§�°¸¥�­o¦KË�¤�®���¥���¦o¯L¦X­XËL�\¡£®��+®�°A¥JÆǦo¢�¢\¥�ª�¦�ÌÓK®��A¢�¡�ÈL¦o§J°d®�§�¡£��¢���¥4��­X¦]�\ A¦"°d®�Ê�Ê£®j¨�¡£��ª�¢�¡`�\ËQ¥&�\¡�®���¢=G

Page 2: A lambda calculus of objects with self-inflicted extension

q ¡£���ZÎL¤�¦jÈ"­XÊ�¥�¢�¢�É^Ä�¥�¢�¦jÈ�Ê�¥��Aª�ËQ¥4ª�¦X¢�¨#¦Ù­j¥���ÆÇ®wÈL¡`°hÎ"�\ A¦Ù¢���§\Ë�­oÉ�\ËA§\¦0®�°L�\ �¦Ù­XÊ�¥�¢�¢Ô®���Ê`Î]¢���¥&�\¡£­j¥�Ê£Ê`ÎpÌÔ�Z°w¨K¦K��¦o¦jÈ"�\®J¥�È�È�¥Ö��¦�¨ÆǦo�\ �®wÈ��\®Ï¥4�ö¡£�A¢���¥���­o¦V®�°#¥Ò­XÊ�¥�¢�¢�¨K¦Ç¥4§\¦�°h®�§\­X¦XÈ*�\® ¼�¾ É­X®�ÆǤA¡£Ê�¦��\ �¦�­XÊ�¥4¢�¢�¥���È:�\®�Æ�¥n-f¦]�\ �¦+ÆÇ®wÈA¡@��­j¥4�\¡£®����A¦X¦jÈwÉÊ£¦X¢�¢�Ê`ÎÇ¥j©�¥4¡£Ê�¥4Ä�Ê£¦#�\®V¹fºhºAµ�è ¾ ´jº`¹�Á\Á ¿ ¶d³AÁ�µ¸¹�³Q´ ¾ Á\«p�\ �¦o§\¦XÄpÎ�¨Ö¥4¢���É¡£��ª*ÆǦXÆÇ®�§�ÎpÌ9�^°"¥9­XÊ�¥�¢�¢� Q¥�Èé¥�¢�¦XÊ`°hÉ^¦o¯w�\¦X�A¢�¡£®��3ÆǦo�\ �®wÈT«®��AÊ£ÎG�\ A¦ö¡£�A¢���¥���­o¦X¢�®�°+�\ �¦*­XÊ�¥�¢�¢Ï¨� A¡�­� � Q¥j©f¦öÈLÎL�Q¥4ÆÇ¡£É­j¥�Ê£Ê`Î�¦o¯L¦X­oËA�\¦jÈ"�\ A¡�¢.ÆǦo�\ A®wÈ�¨#®�Ë�Ê�È�¥�ʣʣ®p­j¥4�\¦K��¦o¨öÆǦXÆÇ®�§�Ψ�¡`�\ �®�ËL���\ �¦���¦o¦jÈÒ®4°Ù¥��pÎ�§\¦oÉ^­X®�ÆǤA¡£Ê�¥&�\¡£®���Ì

q Æ�¥��pÎÒ¢�Ë�ÄAÉ^­XÊ�¥4¢�¢]ÈA¦o­XÊ�¥4§�¥4�\¡£®���¢]­X®�Ë�Ê�ÈÏÄ�¦�¦j¥�¢�¡£Ê`Î�¦o¯L¤AÊ�¥4¡£��¦jÈ¥X¨Ö¥XÎ�¡`°Ö¢�ËA¡£��¥4Ä�Ê£¦Ç¢�¦XÊ`°hÉ^¦o¯w�\¦X�A¢�¡£®��ÆǦo�\ A®wÈA¢�¡£�ö�\ A¦Ç¤Q¥4§\¦o�w�­XÊ�¥�¢�¢J¨#¦o§\¦�¥j©�¥�¡£Ê�¥�Ä�Ê£¦Ir

q  ·�çÙ³ ¿ ´\¹�Á�µd¶d³pÃ]­o®�Ë�Ê�ÈÇÄ�¦�¢�ÆÇ®p®��\ AÊ£Î�¡£ÆǤ�Ê£¦XÆǦX�p��¥�ÄAÊ£¦Ö®���®�ÄLÉÅ�¦X­��\¢�¨�¡`�\ ×¢�¦XÊ`°hÉ^¦o¯w�\¦X��¢�¡£®��¬ÆǦo�\ A®wÈA¢XÌ×ó�®�§V¦o¯A¥�ÆǤ�Ê£¦�« �\ �¦°d®�Ê�Ê£®j¨�¡£��ª]�ZÎA¤�¦ ¦o¯L¤A§\¦X¢�¢�¡£®��b­X®�Ë�Ê�ÈbÄ�¦ Æ�¥�ÈL¦0�\®J�>ÎL¤�¦oÉ^­� A¦X­�-sGt áM� Owá��&àpâLf Û�u�äLÝM�l�>OLá��&àpâLf Ý4åfå Ü�Û�â t áI�'�>v��fÝ t6w a!¨� �¦o§\¦�Ý�åfå Ü�Û�â t áM�V¡£¢]¥V¢�¦XÊ`°hÉ^¦o¯w�\¦X�A¢�¡£®��9ÆǦo�\ �®wÈÒ®�°�OLá���ß�&àpâ�«"¥���ÈÛIu�äwÝM��¡�¢��\ �¦���¥�ÆǦ�®4°��\ �¦�¢���¥���È�¥&§�ÈÄ�¡£�Q¥&§�ÎÐ\¦6xpË�¥�Ê£¡`�>ÎLÑÇÆǦo�\ �®wÈsr

q ¥��b¥�Ê`�\¦o§\��¥4�\¡£©f¦K¤L§\¡£��­X¡£¤�Ê£¦jÈ�¦o¯L¤�Ê�¥4�Q¥4�\¡£®��b®4°A�\ A¦F2LÆ�¥4Ê£Ê�Í�¥�Êy-pÉ7IzÖ­XÊ�¥�¢�¢�ÆǦo�\ �®wÈL¢�Ý4åfå��&àAÜ&âwÝ4à t Û�[wÝ�{���Ý9v���Û�¥���È�Ý�åfå t �fÝpÜfÜ�ß[wÝ�{���Ýnv���Û"­o®�Ë�Ê�È�Ä�¦Ùª�¡£©f¦X���Q¥&�\ËA§�¥4Ê�Ê`Î�ËA¢�¡��Aª�¢�¦XÊ`°hÉ^¦o¯w�\¦X��¢�¡£®��|rq �\ �¦b¤A§\®p­X¦X¢�¢"®�°]º ¾ ¹ ¼ ³�¶h³pÃ�­X®�Ë�Ê�È9Ä�¦b¦j¥4¢�¡£Ê£Î*ÆÇ®wÈL¦XÊ£¦jÈ�Ë�¢�¡£��ª¥��*®�ÄpÅ�¦X­��]¨� �¡£­� ö­j¥4�*§\¦X¥�­o�]�\®Ç�\ A¦�Ð��\¦j¥�­� �¦o§6} ¢�ÆǦX¢�¢\¥4ª�¦XÑÄpÎ]¦o¯w�\¦X��ÈA¡£��ªÖ¡`�\¢�­X¥�¤Q¥4Ä�¡£Ê£¡`�>Î�®�°L¤�¦o§�°h®�§\ÆÇ¡£��ªL«4¡����\ A¦Ù°hËA�\ËL§\¦�«¥���¦o¨3��¥�¢-b¡��V§\¦o¢�¤�®���¢�¦��\®�¥���¦o¨3§\¦6xpË�¦o¢�� °�§\®�Æ �\ �¦�¦X�w©w¡`ɧ\®��AÆǦX�p���s¥��Ï®�Ê�È�ÈL®�ªV­o®�Ë�Ê�ÈÏ¥4¤�¤�¦j¥&§��\®�Ê�¦X¥4§\����¦�¨���§\¡£­�-w¢¡`°Ö¡£�2 �¡£¢�Îp®�ËA�\ * �¦V �¥�È9Ä�¦X¦X�ö��¥4Ë�ª� w�+¥Ð\¢�¦XÊ`°hÉ^¦o¯w�\¦X�A¢�¡£®���Ñ��§\¡£­a-;�r

q �\ �¦Ç¤L§\®p­X¦X¢�¢�®4°�Ð\©�¥�­X­o¡���¥4�\¡£®��AÑ9¥�ª�¥�¡£��¢��+�\ �¦Ç©w¡`§\Ë�¢L~ ­j¥��Ä�¦"©w¡£¦o¨#¦XÈ�¥4¢K�\ �¦J¥4­o�Ö®�°�¦o¯w�\¦X��ÈA¡£��ª]�\ A¦�­j¥4¤Q¥4Ä�¡£Ê£¡£�ZÎ�®�°.�\ �¦¡£ÆÇÆ�Ë��A¦ ¢�ÎL¢��\¦XÆ ®�°Q¤L§\®wÈAËA­X¡£��ªA«�¡£�b�\ A¦ °dËL�\ËA§\¦�«�¥��A¦o¨�-w¡£�QÈ®�°�Ða~�ÉZ¥��p�\¡£Ä�®wÈA¡£¦X¢�Ñ�ËA¤�®���§\¦X­X¦X¡£©w¡£��ª+�\ �¦"ÆǦo¢�¢\¥�ª�¦J�\ Q¥&��¥��~�ÉZ¡£�L°d¦X­o�\¡£®��Ï¡£¢�¡£�:¤L§\®�ª4§\¦X¢�¢=r

Í# �¦Ö®�ÄwÅ�¦X­o�\¡£©f¦#®4°��\ �¡£¢Ô¤�¥�¤�¦o§Ô¡£¢��\ �¥4�Ù®�°�¡£�w��§\®wÈLË�­X¡£�Aª����(�)���b«¥ÇÊ�¥�Æ�ÄTÈA¥Ç­j¥�Ê£­XËAÊ�ËA¢]®�°0®�ÄwÅ�¦X­o�\¢�¡£���\ �¦�¢��>ÎLÊ£¦b®4°F�������«��\®�ª�¦o�\ �¦�§¨�¡`�\ �¥Ò�ZÎL¤�¦Ç¥�¢�¢�¡£ª��AÆǦX�p��¢�ÎL¢��\¦XÆÏÌ�Í# �¦V�ZÎL¤�¦V¥�¢�¢�¡£ª���ÆǦX�p�+¢�ÎL¢�É�\¦XÆ ¥4Ê£Ê�®j¨�¢�¢�¦XÊ`°hÉ^¡£�AæQ¡£­o�\¦XÈ:®�ÄpÅ�¦X­��"¦o¯w�\¦X�A¢�¡£®��:¢��\¡£Ê£Ê�­X¥4�\­� �¡£��ªV¢���¥&��É¡£­j¥�Ê£Ê`Î9�\ �¦"Ú�ÛwÜfÜ�Ý�ÞpÛpß4àwá�âwß�ãwá&äfàpå9§\Ë��AÉs�\¡£ÆǦ�¦o§�§\®�§jÌbÍ# A¡�¢�¢�ÎL¢��\¦XÆ­j¥4�ÇÄ�¦J°hËA§��\ �¦�§K¦o¯w�\¦X��ÈA¦jÈ+�\®b¥4­X­X®�ÆÇÆÇ®wÈ�¥4�\¦�®4�\ �¦o§�Ð\¢�ËAÄA�>ÎL¤A¡��Aª�Ñ°d¦X¥4�\ËA§\¦o¢XÌ�� ÎÒ¨Ö¥XÎ�®4° ¦�¯�¥4ÆǤ�Ê£¦�¨#¦+¤A§\¦X¢�¦o�w�"¥V¨�¡�ÈL�\ AÉ^¢�ËAÄA�>ÎL¤A¡��Aª§\¦XÊ�¥4�\¡£®���«��\ �¥4��¤�¦o§\ÆÇ¡`�\¢Ö¢�®�Ë��QÈÒÆǦo�\ �®wÈ�®&©f¦o§�§\¡�ÈA¦�¥4�QÈ:¥VÊ£¡£ÆÇ¡`�\¦jÈ°d®4§\Æ ®�°Ù®�ÄwÅ�¦X­o�J¦o¯w�\¦X��¢�¡£®���Ì�&��� ��� ñ í�� ñ`�&� � ï����4� �fí ��ñ î í��Í�®�¦X��¥�Ä�Ê£¦Ù�\ �¦"���(�)���é­X¥�Ê£­XË�Ê£ËA¢��\®�¤�¦o§�°d®4§\Æ ¢�¦XÊ`°�ÉZ¡£�LæQ¡£­o�\¦jÈ�¦o¯w�\¦X�LÉ¢�¡£®��A¢X«A�Z¨#®VÆÇ®wÈL¡y��­j¥4�\¡£®���¢�®�°��\ A¦�¢�ÎL¢��\¦XÆ�¡£��÷`øjù�ú�¥4§\¦��A¦X­X¦X¢�¢\¥&§�ÎpÌÍ# �¦��A§\¢��"¡£¢X«�¡���¦a?T¦X­o�j«�¥V¢�¡£ÆǤAÊ�¡@��­j¥4�\¡£®��:®�°Ù�\ �¦�®4§\¡�ª�¡£�Q¥�Ê�¢�ÎA�p��¥&¯®�°0�\ �¦+Ê�¥��Aª�ËQ¥4ª�¦�Ì�Í# �¦+¢�¦X­X®���È*¡£¢]ÆbË�­� ÏÆÇ®�§\¦+¢�Ë�ÄA¢���¥��p�\¡�¥�ÊÙ¥4�QÈ¡`��¡£�L©�®�Ê£©f¦X¢Ö�\ �¦��>ÎL¤�¦�ÈA¡£¢�­X¡£¤AÊ�¡£�A¦�Ìò ¢0°¸¥4§#¥�¢0�\ �¦�¢�ÎL�w��¥&¯V®4°.�\ A¦�Ê�¥4��ª�ËQ¥�ª�¦"¡£¢K­o®���­o¦o§\��¦jÈT«f¨#¦�¥4§\¦°d®4§\­X¦jÈ:�\®Ï²w³�¶ ±�½]¡£�p�\®�¥:Á\¶d³pÃfº ¾ ®�¤�¦�§�¥4�\®�§j«�ÈA¦X�A®��\¦jÈ:ÄpÎ���];]*«Q�\ �¦�>¨K®V®�§\¡£ª�¡���¥�Ê�®�ÄpÅ�¦X­o��®�¤�¦�§�¥4�\®�§\¢J®�°e���(���«.¶ 5d¾65 ®�ÄpÅ�¦X­���¦�¯L�\¦o��¢�¡£®����\B]���¥��QÈ+®�ÄpÅ�¦X­�� ®&©f¦�§�§\¡�ÈL¦�� \B]'�ÌÙÍ# �¡£¢Ù¡£¢ ÈLË�¦K�\®��\ �¦K°d¥�­o�Ù�\ Q¥&�j«¨� �¦o��¡£�\¦�§�¥4�\¡£��ªÖ�\ �¦Ù¦o¯L¦X­oËA�\¡£®���®4°�¥Ö¢�¦XÊ`°�ÉZ¦�¯L�\¦o��¢�¡£®���ÆǦo�\ A®wÈ.«j®���Ê`Î�\ �¦���§\¢��Ô�\¡£ÆǦK¨K¦# Q¥j©f¦Ö¥Jª�¦X�wËA¡��A¦#®�ÄpÅ�¦o­o�0¦o¯w�\¦X��¢�¡£®��.«��\ A¦#¢�¦X­X®��QÈ�\¡£ÆǦ"¨#¦� �¥j©f¦ Å�ËA¢���¥�¢�¡£ÆǤ�Ê£¦]®�ÄpÅ�¦o­o�"®&©f¦�§�§\¡�ÈL¦�Ì

J"D�¹�ü » º ¾LKM5�� ýÙ·�³�Á\¶ Âp¾o¼ µ�è ¾ ü ¾ µ�èw·  Ý�åfå Ü4Û�â t áM��·�± Owá��&àpâ � µ�èL¹�µ¹ Âf Á�¹�³  Á ¾ µdÁ�¹ t áI�LC ¾ º ÂMROLá��&àfâ SU�V Ý�åfå Ü�Û�â t áM��X �TÜ�ÛM��ã&Y �;[;Y

V Ü�Û���ã'��]�] t áI�(X�[�`a!Y=Y=Y `aY

b�è ¾ ³öç ¾ Á ¾ ³  Ý�åfå Ü�Û�â t áM�9µ¸·LOLá��jàpâöçÙ¶¸µ�èϹ ¼ Ã�²wü ¾ ³QµP�M���4âpÛ �¡¸Ì ¦�Ì�OLáM�&àpâ_f Ý�åfå Ü�Û�â t áM�F�>�M���4âpÛ� � µ�è ¾ ³�ç ¾V»�¼ ·  ²L´ ¾ ¹�Á�¹¼�¾ Á\²Lº`µ"¹�³ ¾ ç · Àdÿj¾ ´jµ t áM� OLáM�&àpâç�è ¾o¼�¾ µ�è ¾ t áI�BC ¾ º  èL¹�Á À\¾\¾ ³¹ ÂfÂp¾� µ¸·�OLáM�&àpâV¹�³  Á ¾ µTµ¸·��M���4âfÛ 5�� ±Ôç ¾ Á ¾ ³  µdçÙ¶¸´ ¾ Ý�åfå Ü4Û�â t áI�µ¸·LOLáM�&àpâ9ç0¶dµ�è�¹�³*¹ ¼ Ã�²wü ¾ ³Qµ|v��fÝ t6w � ¡¸Ì ¦�Ì

t áM� OLáM�&àpâLf�Ý�å�å Ü�Û�â t áM�l�>v��fÝ t6w µ�è ¾ ³ � Á\¶d³�´ ¾ µ�è ¾ C ¾ º  t áI��¶dÁJ¹fº ¼�¾ ¹  ½ »�¼�¾ Á ¾ ³QµÙ¶d³ t áM� OLáM�&àpâ � µ�è ¾C ¾ º  t áM�϶dÁ]³�·�ç·IH ¾o¼�¼ ¶ ÂfÂp¾ ³öç0¶dµ�ècv��fÝ t6w 5

ò ¢V°¸¥4§Ò¥4¢��ZÎL¤�¦X¢�¥4§\¦�­X®���­X¦�§\��¦jÈT«Ö¨#¦9¥�ÈAÈ3�Z¨#®��A¦o¨�-L¡£��ÈA¢®�°J�>ÎL¤�¦X¢X«Ù��¥�ÆǦXÊ`Î��s� ��]�]ÙÚ.«Ù¨� A¡�­� ­j¥4�3Ä�¦�¢�¦X¦X�é¥4¢��\ �¦�¢�¦XÆ�¥4�AÉ�\¡£­*­o®�Ë��p�\¦o§\¤�¥4§��Ò®�°��\ A¦�¢�ÎA�p��¥4­o�\¡£­ Vi�M� ��]�]�Ú X �n¡ `V®���¦�«�¥���ÈO�{wá�¢aY V Vi£¥¤Q£§¦ ` `�«b¨� A¡�­�  ¡£¢2¥ª�¦X��¦�§�¥�Ê£¡y,j¥4�\¡£®�� ®�°��\ A¦®�§\¡£ª�¡£�Q¥4Êt �fÝpÜ�Ü�¢�Y £ ¡£� ÷`øXù�ú � £ ¡£¢Ò¥ ¼ ·�ç ¨� �¡£­� ­X®��p��¥4¡��A¢:¥4Ê£Ê"ÆǦo�\ A®wÈA¢¥���ÈÒ§\¦XÊ�¥4�\¦jÈ��>ÎL¤�¦X¢Ö¤A§\¦o¢�¦X�p��¡��Ò�\ �¦]®�ÄwÅ�¦X­o��És�>ÎL¤�¦ t �fÝfÜfÜP¢aY £ �Ì�^°��\ �¦Ï�>ÎL¤�¦1O�{wáE¢�Y V Vi£�¤c£§¦ ` `Ç¡£¢Ï¥�¢�¢�¡£ª���¦jÈ�\®é¥��G®�ÄwÅ�¦X­o� � «�\ �¦X� � ­j¥4�ϧ\¦X¢�¤�®���ÈÒ�\®�¥�Ê£Ê��\ A¦�ÆǦo�\ �®wÈL¢JÊ£¡£¢��\¦jÈÏ¡£� £ Ì#Í# �¦�Ê£¡�¢��£§¦ «Ù¢�®�ÆǦo�\¡£ÆǦX¢�§\¦o°d¦�§�§\¦jÈ��\®9¥�¢��\ �¦2Ð�§\¦X¢�¦�§\©�¥&�\¡�®���Ñ*¤Q¥&§��b®4°��\ �¦®�ÄpÅ�¦X­���É^�ZÎL¤�¦�«Ù§\¦X¤A§\¦X¢�¦o�w�\¢��\ �¦�ÆǦo�\ A®wÈA¢��\ Q¥&��­j¥4�éÄ�¦Ò¥�È�ÈL¦jÈ2�\®� ¦X¡`�\ A¦o§"ÄpÎÒ®�§�ÈL¡���¥4§�ÎÒ®�ÄpÅ�¦X­���ÉZ¦�¯L�\¦o��¢�¡£®��.«�®�§�ÄpÎÏ¥VÆǦo�\ A®wÈ:¡£� £¨� �¡£­� Ï¤�¦o§�°d®4§\ÆÇ¢J¥�¢�¦XÊ`°hÉ^¡£�Aæ�¡�­��\¦jÈ:¦o¯w�\¦X�A¢�¡�®���ÌJ"D�¹�ü » º ¾LKM5�¨ ýÙ·�³�Á\¶ Âp¾o¼ ¹�³�· ÀdÿX¾ ´jµ � ç�èw¶¸´�è�¶dÁÖ¹�Á\Á\¶£Ã�³ ¾� µ�è ¾ µd½ »A¾O�{wá�¢aY V V Ú©G;¢�� ��]�]#à ¤ à1Gs�jàpâ�` ` 5oª è ¾ ³ � f�Ú »�¼ ·  ²L´ ¾ ÁVµ�è ¾�¾�«J¾ ´jµ·�±�¹ Âf ¶d³fÃöµ�è ¾ C ¾ º  ଵ¸·*µ�è ¾ ¶d³Qµ ¾o¼ ±o¹f´ ¾ ·�± � � ¹�³  ·�±Ç² »L ¹fµd¶d³põ�è ¾ µd½ »A¾ ·�± � µ¸·�O�{wá�¢aY V V Ú¬GM¢�!�à­G��&àfâ ¤ ` ` 5

Í# A¦�Ê�¡£¢��"®�°"Ð�§\¦o¢�¦o§\©f¦jÈLÑ�ÆǦ��\ �®wÈA¢�¡£��¥4��®�ÄpÅ�¦X­o��És�ZÎA¤�¦�¡£¢�­o§\ËAÉ­X¡�¥�Ê0�\®Ï¦X�A°h®�§\­X¦V�\ A¦Ç­X®��A¢�¡£¢��\¦X��­oÎö®�°K�\ �¦��ZÎA¤�¦V¥�¢�¢�¡£ª��AÆǦX�p��¢�ÎA¢�É�\¦XÆÏÌ�ÓK®��A¢�¡�ÈA¦o§]°h®�§"¡��A¢���¥��A­X¦�¥4��®�ÄpÅ�¦X­���­X®��p��¥4¡��A¡£��ªÇ�>¨K®�ÆǦ��\ AÉ®wÈA¢X« Ý�å�å à ®�«Ù¥���ÈÝ�åfå à ¯L«�¢\¥jÎp«�¦j¥�­� ®�°Ö�\ A¦XÆ ¢�¦XÊ`°hÉ^¡£�Aæ�¡£­o�\¡£��ª�\ �¦�¦o¯w�\¦X��¢�¡£®���®�°�¥+�A¦o¨GÆǦo�\ A®wÈVàQÌ0Í# �¦J�>ÎL¤�¦"¥4¢�¢�¡£ª���ÆǦo�w�#¢�ÎA¢�É�\¦XÆ  �¥�¢��\®:­j¥&§�§�Î*¦X��®�Ë�ª� ö¡£�A°d®4§\Æ�¥4�\¡£®��ö¢�®�¥�¢]�\®Ò¦X�A°h®�§\­X¦V�\ �¥4��\ �¦Ç¢\¥4ÆǦV�>ÎL¤�¦V¨�¡£Ê�ÊKÄ�¦�¥�¢�¢�¡£ª��A¦jÈ2�\®Ïà�¨� Q¥&�\¦X©f¦o§+¢�¦XÊ`°hÉ^¡£�Aæ�¡£­o�\¦jȦo¯w�\¦X��¢�¡£®��Ï Q¥4¢JÄ�¦o¦X�:¦o¯L¦X­oËA�\¦jÈTÌ

Í# A¦ �>ÎL¤A¡��Aª�¢�ÎL¢��\¦XÆ��\ Q¥&��¨#¦#¡£�p��§\®wÈAËA­X¦K¦o��¢�ËA§\¦o¢��\ Q¥4��¨#¦#­j¥4�¥�Ê`¨Ö¥XÎL¢�ÈLÎL��¥�ÆÇ¡£­j¥�Ê£Ê`Î¥�È�È��¦�¨�°h§\¦X¢� éÆǦo�\ A®wÈA¢+°d®�§cO�{wá4És�>ÎL¤�¦X¢X«�\ wË�¢KÊ£¦j¥j©w¡£��ª+¡£�w��¥4­o�K�\ A¦�®�§\¡£ª�¡£�Q¥4ÊKÐ\¤� A¡£Ê�®�¢�®�¤A wÎLÑ+®�°.§�¥�¤A¡�ÈǤL§\®��\®�É�>ÎL¤�¡£�AªA«A¤�¦X­XË�Ê£¡�¥4§��\®V®�ÄwÅ�¦X­o��­j¥�Ê£­XËAÊ£¡sÌ

�Z�×®4§�ÈA¦o§��\®2ÆÇ®wÈL¦XÊ�¢�¤�¦X­X¡�¥�Ê£¡y,j¥&�\¡�®��E®�°�¡£�� A¦o§\¡`�\¦jȬÆǦo�\ A®wÈA¢X«¨#¦+Ë�¢�¦��\ �¦���®4�\¡£®��9®�°�üV¹�µ¸´�èw¶d³pÃ+®�§��>ÎL¤�¦�¦o¯w�\¦X��¢�¡£®��.«�®�§\¡£ª�¡���¥�Ê£Ê`Ρ£�w��§\®wÈLË�­X¦XÈ�ÄwÎA� §\Ë�­o¦ö÷`ø�øoú^«0¥4�QÈ�Ê�¥4�\¦�§�¥�¤A¤�Ê£¡£¦jÈ2�\®��\ �¦¬�"ÄwÅ�¦X­o�Ó#¥�Ê£­XËAÊ�ËA¢Ò÷`ø�ú#¥4�QÈ��\®1���(�)��÷ °&úsÌ ò �]�\ �¦V¤L§\¡£­X¦V®�°#¥:Ê£¡`���\Ê�¦�ÆÇ®�§\¦Æ�¥4�\ A¦XÆ�¥4�\¡£­j¥4ÊL®&©f¦�§\ �¦j¥�È.«4¨#¦#­X®�Ë�Ê�Èb �¥j©f¦KËA¢�¦jÈb¥4Ê£¢�®]�\ �¦K¡£ÆǤAÊ�¡£­X¡`� �¡£ª� A¦o§�É^®�§�ÈL¦o§J¤�®�Ê`ÎLÆÇ®�§\¤� A¡£¢�Æ�®�°�÷`øjù4ú^̱ ��² � �&� � ðA�p�Xð�³B´p��ñ î í&�ò ¢�¡£��¡£¢�¨#¦oÊ�Ê`É�-w��®j¨���«4¢�¦X¦ ¾65 à 5 ÷`øf«fø684ús«j�\ �¦0¡£�w��§\®wÈLË�­o�\¡£®���®�°�¥�¢�ËAÄAÉ¢�Ë�ÆǤL�\¡�®��:§\¦XÊ�¥4�\¡£®��*®&©f¦�§"®�ÄwÅ�¦X­o��És�>ÎL¤�¦X¢�Æ�¥�-�¦X¢Ö�\ �¦��>ÎL¤�¦�¢�ÎL¢��\¦XÆË��A¢�®�Ë���È.Ì��>��¤�¥4§��\¡£­XËAÊ�¥&§j«�¨�¡�ÈL�\ LÉ^¢�Ë�ÄA�ZÎL¤�¡£��ªJ­XÊ�¥�¢� A¦X¢0¨�¡`�\ b®�ÄpÅ�¦X­o�¦o¯w�\¦X��¢�¡£®���«�¥��QÈ�ÈL¦X¤A�\ LÉZ¢�ËAÄA�ZÎA¤A¡£��ªK­oÊ�¥4¢� �¦X¢�¨�¡`�\ �®�ÄpÅ�¦o­o�Ù®&©f¦o§�§\¡�ÈA¦�Ì�>�+°¸¥�­�� ®��cO�{wá&É^�ZÎL¤�¦X¢Ô��®]¢�ËAÄA�ZÎA¤A¡£��ªJ¡�¢Ù¤�®�¢�¢�¡�ÄAÊ£¦�ÌÙ�>�b®�§�ÈA¦�§Ô�\®�¥�­oÉ­X®�ÆÇÆÇ®wÈA¥4�\¦]¢�ËAÄA�ZÎA¤A¡£��ªA«w¨K¦�¥�È�ÈÒ¥��A®��\ �¦�§h-w¡£�QÈ�®�°Ô®�ÄwÅ�¦X­o��És�>ÎL¤�¦�«Hj¶+* 5 ánv�µE¢�Y V Vi£¶¤�£ ¦ ` `�«�¨� A¡�­� �Ä�¦X �¥j©f¦X¢�Ê£¡+-�¦ O�{wáE¢aY V Vi£¶¤�£ ¦ ` `]¦o¯wÉ­X¦X¤L�K�\ Q¥&�K¡`� ­j¥���Ä�¦J¥�¢�¢�¡£ª���¦jÈÇ�\®�®�ÄpÅ�¦X­��\¢K�\ Q¥&�K­j¥4��Ä�¦J¦�¯L�\¦o�QÈA¦XÈ®��AÊ£ÎÒÄpÎ�ÆǦo�\ �®wÈL¢Ö¡�� £ ¦ � Ì"�"��ánv�µ&É^�ZÎL¤�¦X¢J¥3�¸­X®&©�¥&§\¡�¥��p��0¨�¡�ÈL�\ AÉ¢�Ë�ÄL�>ÎL¤�¡£��ªb¡£¢J¤�¦�§\ÆÇ¡£���\¦XÈ.Ì·¸|¹nº;»�¼a½s¾a¿�À"½ÂÁ�Ã�Ä�ºÅiÆFÇ ¿nÈ�É ÈaÊaË�Ç Ì�ÍMÈaÅiÅ�ÈÎsºÀeÏ+Å�ÈaÆÑÐ;Ç Ì�¹nºÅ�¾�¿nÀ�Ò�Ç Ä�Ó�¹�ºÉ É

Ô Õ�Ö=×�Õ.Ø�Ù�Ú

Page 3: A lambda calculus of objects with self-inflicted extension

Í# �¡£¢K¤�¥�¤�¦o§ ¡£¢ ®4§\ªf¥4��¡y,X¦jÈ�¥�¢Ù°d®�Ê£Ê�®j¨�¢XÌ �>�B2w¦X­o�\¡£®��­/�¨#¦�¡£�w��§\®4ÉÈAËA­X¦��\ A¦V­j¥�Ê£­XËAÊ£Ë�¢c���(����Lr�¨#¦Ç¤A§\¦o¢�¦X�p�bÄ�®4�\ �¥éÐ�2LÆ�¥4Ê�Ê`ÉÂ2w�\¦o¤�ѧ\¦jÈLË�­o�\¡£®��ǧ\¦XÊ�¥&�\¡�®��Ï¥4�QÈ�¥���¡£��¤�ËL�aÛ4®�ËA�\¤�ËL�j«&Hj¶+*�Ð.�K¡£ª�ÉÂ2w�\¦X¤AÑA«A®�¤Lɦo§�¥&�\¡�®��Q¥4Ê ¢�¦XÆ�¥4�p�\¡�­o¢XÌB2L®�ÆǦ�¡£�p�\Ë�¡`�\¡£©f¦�¦�¯�¥4ÆǤ�Ê£¦X¢�¥&§\¦Vª�¡£©f¦X�.«�¡£�®�§�ÈL¦o§+�\®�¡�ʣʣË�¢���§�¥&�\¦Ò�\ A¦Ç¡�ÈL¦j¥�®�°�¥�¢�¦XÊ`°hÉ^¡£�Aæ�¡�­��\¦jÈ�®�ÄpÅ�¦X­��V¦o¯w�\¦X�LÉ¢�¡£®��.ÌÙ�>�32L¦X­o�\¡£®��3°�¨#¦"¡£�p��§\®wÈAËA­X¦��\ A¦��ZÎA¤�¦J¢�ÎL¢��\¦XÆ °h®�§h���(�)���bÌÍ# �¦Ç¡£�p�\¦X��ÈA¦jÈ*ÆǦj¥��A¡��Aª:®4°Ö�\ �¦VÆÇ®�¢���¡��p�\¦o§\¦o¢��\¡��AªÏ§\Ë�Ê£¦X¢�¡£¢+ÈA¡£¢�É­XËA¢�¢�¦jÈ�¡£�:ÈA¦o��¥4¡�ʸÌ0�>�32L¦o­o�\¡£®��3:�¨#¦�¢� A®j¨E �®j¨E®�ËL§#�>ÎL¤�¦"¢�ÎL¢��\¦XÆ¡£¢�­X®�ÆǤ�¥4�\¡£Ä�Ê£¦]¨�¡`�\ �¥b¨�¡�ÈL�\ LÉ^¢�Ë�ÄA�ZÎL¤�¡£��ª�§\¦XÊ�¥4�\¡£®��.Ì ò ­X®�ʣʣ¦X­o�\¡£®��®�°"¦o¯A¥�ÆǤAÊ�¦Ò¥4§\¦:¤A§\¦X¢�¦X�p�\¦jÈé¡£�42w¦X­o�\¡£®��4/wÌ /wÌ×�>�¶2L¦o­o�\¡£®��×ù*¨#¦¢���¥4�\¦�®�ËA§Ò¢�®�ËA�QÈA�A¦X¢�¢Ç§\¦X¢�Ë�Ê`�j«���¥�ÆǦXÊ`Îé�\ Q¥&�Ò¦o©f¦o§�Î3­XÊ£®�¢�¦jÈG¥4�QȨ#¦oÊ�Ê`És�>ÎL¤�¦jÈצo¯L¤A§\¦X¢�¢�¡£®��G¨�¡£Ê£Ê]��®4�:¤L§\®wÈAËA­X¦�¨Ö§\®���ª§\¦X¢�ËAÊ`�\¢XÌ8�>�2L¦o­o�\¡£®��18p«A¨K¦�®�ËL�\Ê�¡£�A¦�¥�¤�®�¢�¢�¡£ÄAÊ�¦�¥4¤�¤AÊ�¡£­j¥&�\¡£®���®�°�®�ËA§Ö�ZÎL¤�¦]¢�ÎL¢�É�\¦XÆ �\®Ò�\ �¦­�"ÄwÅ�¦X­o�bÓ#¥�Ê£­XËAÊ£Ë�¢X«�¡£�*�\ �¦�¢��ZÎLÊ�¦�®�°�÷ /�z4ú^Ì­2L¦X­��\¡�®��A7ÈA¡£¢�­XËA¢�¢]§\¦XÊ�¥4�\¦jÈ2¥��QÈ�°dËL�\ËA§\¦�¨K®�§.-�ÌÇÍ# A¦Ç­X®�ÆǤAÊ£¦o�\¦�¢�¦o��®4°#�>ÎL¤�¦¥�¢�¢�¡£ª���ÆǦX�p�Ö§\Ë�Ê£¦X¢J¥4¤�¤�¦j¥&§\¢�¡£�Ò�\ A¦ ò ¤A¤�¦X�QÈL¡£¯TÌ�Ö��Ü í îMÝ � � ï�Þ;³ �pí �Í# �¦0¥4ËA�\ �®4§\¢�¥&§\¦ ª4§�¥4�\¦o°hË�Ê��\®�õÏ¥&§��\¡�� ò ÄQ¥�ÈL¡¸«4õÏ¥4§\¡�¥��Aª�¡£®�Ê�¥'ß]¦=,j¥&É��¡`É>ÓK¡�¥��A­j¥�ª�Ê�¡£�A¡�¥��QÈ2�\ A¦�¥���®��pÎAÆÇ®�Ë�¢�§\¦o°h¦o§\¦X¦X¢�°h®�§b�\ �¦X¡`§VËA¢�¦o°dËAÊ­X®�ÆÇÆǦX�p�\¢#®����\ �¡£¢Ö¨#®�§.-�Ìàâálã��1ä ��³��AïL�3åÙ� � ��ð � ðw�Jî �F± �=² � �j�\��>���\ �¡£¢Ö¢�¦X­o�\¡£®���«�¨K¦�¤A§\¦X¢�¦o�w�Ö�\ A¦�æ�¥4Æ�ÄTÈA¥VÓ#¥�Ê£­XËAÊ£Ë�¢�®�°"�"ÄpÅ�¦X­��\¢���(�)���bÌÖÍ# A¦��\¦�§\ÆÇ¢�¥&§\¦+ÈA¦�����¦jÈ�¡���ÄpÎ��\ �¦]°h®�ʣʣ®j¨�¡��AªÏ¥4Ä�¢���§�¥�­��ª�§�¥4ÆÇÆ�¥4§6G� GyG X ç�èné�èM�;éPY � è �M�;��¡ è ���AÉZ­X¥�Ê£­XË�Ê£ËA¢a

V `Fè � f ÚÑè Vi�M� ��];]VÚBX �n¡ `Fè �¸®�ÄpÅ�¦X­o���\¦o§\ÆÇ¢aê �9ë � �M� !^Ú ! �n¡ �! �s¥�ËA¯TÌÙ®�¤�¦o§�¥4�\¡£®���

¨� �¦�§\¦ ç�¡£¢�¥ÒÆǦ���¥4É^©�¥&§\¡�¥�Ä�Ê£¦�§�¥4��ª�¡��Aª:®&©f¦o§+¥�¢�¦o��®�°K­X®��A¢���¥��p�\¢X«éé¡£¢Ç¥�ÆǦo��¥4É^©�¥4§\¡�¥�ÄAÊ�¦�§�¥��Aª�¡£��ª*®&©f¦o§V¥9¢�¦��V®�°�©�¥4§\¡�¥�ÄAÊ�¦o¢Ç¥���ÈöÚ¡£¢�¥�ÆǦo��¥&ÉZ©�¥4§\¡�¥4Ä�Ê£¦"§�¥��Aª�¡£��ª�®4©�¦o§�¥�¢�¦o��®4°ÔÆǦo�\ A®wÈA¢Ö�Q¥4ÆǦX¢XÌ ò ¢Ë�¢�Ë�¥�ʸ«��\¦�§\ÆÇ¢��\ Q¥&�KÈL¡@?T¦o§Ù®��AÊ£Î+¡£���\ A¦#�Q¥4ÆǦX¢Ô®�°�Ä�®�Ë���È+©�¥4§\¡�¥�ÄAÊ£¦X¢¥4§\¦Ò¡�ÈA¦X�p�\¡@�Q¦jÈTÌéÍ# �¦Ò¡£�w�\¦o�QÈA¦XÈ�ÆǦj¥��A¡��Aªö®4°��\ A¦Ò®�ÄwÅ�¦X­o�Ç�\¦o§\ÆÇ¢¡£¢��\ A¦�°d®�ʣʣ®j¨�¡£��ª�G V `�¢���¥4�QÈA¢�°d®4§:�\ A¦*¦oÆǤA�>Î3®�ÄwÅ�¦X­o�6r � f�Ú¢���¥���ÈA¢#°h®�§J�\ �¦"§\¦X¢�ËAÊ`��®4°Ô¢�¦X��ÈA¡£��ª��\ A¦]ÆǦX¢�¢\¥4ª�¦JÚ��\®��\ A¦]®�ÄpÅ�¦o­o�� r Vi�M� ��]�]ÇÚgX �n¡ `�¢���¥��QÈL¢b°h®�§Ç¦o¯w�\¦X��ÈA¡£��ªMÛ4®&©f¦o§�§\¡�ÈL¡��AªÏ�\ �¦�®�ÄLÉÅ�¦o­o� � � ¨�¡£�\ 3¥ÏÆǦo�\ A®wÈ9Ú¨� A®�¢�¦�Ä�®wÈLÎ2¡�¢ � ¡ Ì2Í# A¦:¥4ËA¯L¡£Ê£¡�¥&§�ή�¤�¦�§�¥4�\¡£®�� ê �9ë � �M� !^Ú ! ��¡ �¢�¦X¥4§\­� �¦X¢��\ �¦ÇÄ�®wÈwÎö®4°Ö�\ �¦�Ú2ÆǦ��\ �®wȨ�¡`�\ �¡£�Ò�\ A¦]®�ÄpÅ�¦o­o� ��� «�Ä�¦X¡£�Aª �M� ¥b¤L§\®��\®��ZÎL¤�¦]®�° �n¡ Ì Í# A¡�¢Ö°hË���­�É�\¡£®��+¡£¢�¤�¦X­XËAÊ�¡�¥&§Ô�\®J�\ A¦K®�¤�¦�§�¥4�\¡£®���¥�Êw¢�¦XÆ�¥��p�\¡£­X¢Ô¥4�QÈT«�¡£�+¤A§�¥4­o�\¡£­X¦�«­X®�Ë�Ê�È�Ä�¦�Æ�¥�ÈL¦��A®��#�\®bÄ�¦]¥j©�¥4¡£Ê�¥4Ä�Ê£¦"�\®+�\ �¦J¤A§\®�ª4§�¥�ÆÇÆǦo§jÌÔÍ# �¡£¢®�¤�¦�§�¥4�\¡£®�� ê �në «�¡£�p��§\®wÈAËA­X¦jÈ�¡£�×÷ /pøf«|/w«|8jú^«.¤L§\®4©w¡�ÈA¦o¢�¥�ÆÇ®4§\¦�ÈL¡`ɧ\¦X­o�  ½�³�¹�ü�¶¸´Jü ¾ µ�èL·  º`·j·nì4² » �\ Q¥4�b�\ �¦ À ·j·9ì6ì ¾�¾Z» ¶d³pÃÖ§\¦jÈAËA­o�\¡£®��A¢Ë�¢�¦XÈÒ¡£�:�\ �¦"®�§\¡£ª�¡£�Q¥4Ê�¤�¥�¤�¦o§+÷`øjù�úsÌ

ò ¢�¨#¦�¢\¥�¡�È2¡£�ö�\ A¦�¡£�p��§\®wÈAË�­��\¡�®���«��\ �¦�Æ�¥4¡£��ÈA¡@?T¦o§\¦o��­X¦VÄ�¦�É�>¨K¦X¦X�9�\ �¦b¢�ÎA�p��¥&¯�®�°'�������� ¥4�QÈ��\ Q¥&��®�°F���(��j��÷`øXù�ú>�Ê�¡£¦X¢�¡£��\ �¦KË�¢�¦#®4°T¥"¢�¡£��ª�Ê�¦�®�¤�¦o§�¥4�\®4§Ñ��]�]ö«�°d®�§0ÄAË�¡£Ê�ÈA¡£��ª�¥4��®�ÄwÅ�¦X­o�Ù°h§\®�Æ¥��Ǧ�¯A¡£¢��\¡£��ª�¤L§\®��\®��ZÎL¤�¦�ÌÔ�Z°��\ A¦�®�ÄpÅ�¦X­o� � � ­o®��p��¥�¡£��¢�Ú.«f�\ A¦X����];]ÈA¦o��®��\¦o¢Ô¥��b®�ÄpÅ�¦X­o�Ù®&©f¦�§�§\¡�ÈL¦�«�®��\ �¦�§�¨�¡�¢�¦���]�]�ÈL¦X��®4�\¦X¢Ù¥��+®�ÄpÅ�¦o­o�¦o¯w�\¦X�A¢�¡�®���Ìà&�hêí± ´ � �s����ñ î í � �|�&� ³V� í ��ñ`�&��>�G�\ A¡�¢:¢�¦X­o�\¡£®��.«�¨#¦�ÈL¦��Q�A¦*�\ A¦2¦X©�¥�Ê£Ë�¥4�\¡£®�� ®�°+�\ �¦ö�\¦�§\ÆÇ¢:®�°���(�)���bÌ2Ø2¦Ò¤L§\¦X¢�¦X�p���Z¨#®*®�¤�¦o§�¥&�\¡�®��Q¥4ÊJ¢�¦oÆ�¥��p�\¡£­X¢XÌÍ# A¦Q�A§\¢��¡£¢"ª�¡�©�¦X�9¡����\¦o§\ÆÇ¢J®�°0§\¦jÈLË�­o�\¡£®���§\ËAÊ�¦o¢c��2LÆ�¥4ʣʣÉÂ2p�\¦X¤s�«Q¨� A¡£Ê�¦+�\ �¦¢�¦X­X®��QÈ:¡£¢J¥��Ò¡£��¤�ËL�aÛ4®�ËA�\¤�ËL�Ö§\¦XÊ�¥4�\¡£®����i� ¡�ª4ÉÂ2w�\¦X¤��Ì

�iî � ¢Â$; ���;éPY � � � ¡ ï)ðñ ÷ � ¡6ò é�ú � �� ê �9ë>� ça¢. � f Ú ï)ðñ ê �9ë � � !^Ú ! � � ê�ó ç�ç �nô9ô ê �në � Vi� � ��]�]ÇÚBX � ¡ `a!^Ú ! � ï)ðñ � ¡ ��iõ � é&¢. ê �në � Vi� � ��]�]ÒàcX � ¡ `a!^Ú ! � ï)ðñ ê �9ë � � � !ZÚ ! �

Ú©öX¬à

ó�¡£ª�ËL§\¦VøIG�÷J¦jÈAËA­o�\¡£®��12w¦XÆ�¥��p�\¡£­X¢���2wÆ�¥�Ê£Ê`É)2p�\¦X¤s

ø � ï�ðw�&��ñ î í¬��� ³V� í ��ñ`�&� �Í# �¦�­X®4§\¦�®�°��\ A¦�2LÆ�¥4ʣʣÉÂ2p�\¦X¤�§\¦XÈAË�­��\¡�®��:¡£¢�ª�¡£©f¦X�ÒÄpÎ��\ A¦"§\¦jÈLË�­oÉ�\¡£®��:§\ËAÊ�¦o¢J®4°Ùó�¡£ª�ËL§\¦c/pÌ£ø�Ì Í# �¦�¦X©�¥�Ê£Ë�¥4�\¡£®��:§\¦oÊ�¥&�\¡£®�� ñïÂðñ ¡£¢Ö�\ �¦o���¥�-f¦o�:�\®VÄ�¦"�\ A¦�¢�ÎAÆÇÆǦ���§\¡�­�«p§\¦oæQ¦o¯L¡£©f¦�«w��§�¥4��¢�¡`�\¡£©f¦�¥���È:­X®��p�\¦o¯wÉ�\ËQ¥4Ê�­XÊ£®�¢�ËA§\¦�®�° ï)ðñ Ì

�Z�9¥�È�ÈL¡`�\¡�®����\®��\ A¦�¢���¥��QÈA¥4§�È��iî � ¢�$;#§\ËAÊ�¦�°d®4§]Ê�¥�ÆbÄTÈ�¥Ç­j¥4ʣɭXË�Ê£ËA¢X«��\ �¦�Æ�¥�¡£��®�¤�¦o§�¥4�\¡£®��9®��*®�ÄwÅ�¦X­o�\¢�¡�¢�ÆǦo�\ �®wÈÒ¡��w©f®p­X¥4�\¡£®��.«¨� �®�¢�¦V§\¦jÈAËA­o�\¡£®��*¡�¢]ÈA¦�����¦jÈ�ÄpÎ��\ �¦Q� ê �në�� ça¢.�§\ËAÊ£¦�Ìc2L¦X��ÈA¡£��ªÒ¥ÆǦX¢�¢\¥�ª�¦]Ú:�\®�¥4��®�ÄpÅ�¦X­o� � ­X®��p��¥�¡£��¡£��ª�¥ÇÆǦo�\ A®wÈÇÚ:§\¦jÈAËA­X¦X¢��\®ê �në � � !sÚ ! � �«.¨� A¦o§\¦V�\ �¦�¥4§\ª�Ë�ÆǦX�p�\¢�®�° ê �në  Q¥j©f¦��\ A¦b°d®�Ê£Ê�®j¨�¡£��ª¡£�w�\ËA¡`�\¡�©�¦�ÆǦj¥��A¡��Aª�¢��¸¡£�:§\¦X©�¦o§\¢�¦]®�§�ÈL¦o§��G

q �i°�ùú&ÉZ¥&§\ª�K¡£¢��\ A¦]§\¦X­X¦X¡£©f¦�§L�¸®4§�§\¦X­X¡£¤�¡£¦X�p�� ®�°Ô�\ A¦]ÆǦX¢�¢\¥4ª�¦Irq ��/nû�ú&ÉZ¥4§\ª��¡£¢��\ �¦ÙÆǦX¢�¢\¥4ª�¦Ù¨#¦Ù¨Ö¥4�w�.�\®�¢�¦X�QÈ"�\®Ö�\ A¦Ù§\¦o­X¦X¡£©f¦o§®4°Ô�\ �¦]ÆǦo¢�¢\¥�ª�¦�r

q ��ø=ü)ýZÉZ¥4§\ª�Ö¡£¢L�¸®�§"§\¦XÈAË�­o¦X¢��\®��¥Ç¤A§\®�¤�¦o§�¢�Ë�ÄAÉ^®�ÄwÅ�¦X­o�]®4°Ù�\ �¦§\¦o­X¦X¡£©f¦o§J®�°Ô�\ A¦]ÆǦX¢�¢\¥4ª�¦�Ì

� Î�Ê£®p®�-L¡£�AªV¥4�Ö�\ A¦"Ê�¥�¢��Ö�Z¨#®+§\¦o¨Ö§\¡`�\¡��Aª�§\Ë�Ê£¦X¢X«L®���¦]Æ�¥XÎÇ�A®��\¦�\ Q¥&�+�\ A¦ ê �9ë °dËA��­o�\¡£®��EÐ\¢�­j¥4��¢�Ñ:�\ A¦V§\¦X­X¡£¤�¡£¦X�p��®�°K�\ �¦VÆǦX¢�¢\¥4ª�¦Ë��p�\¡£Ê ¡`���Q��ÈA¢"�\ A¦�ÈA¦�����¡`�\¡£®��ö®�°#�\ A¦ÇÆǦo�\ �®wÈ�¨#¦V¨#¥��p���\®ÏË�¢�¦�ÌØG �¦o�Ï¡`�h���QÈA¢Ö�\ A¦�Ä�®wÈLÎÒ®�°Ô�\ �¦�ÆǦ��\ �®wÈ.«A¡`�]¥4¤�¤AÊ�¡£¦X¢��\ �¡£¢�Ä�®wÈLÎ�\®Ï�\ �¦V§\¦X­o¡�¤A¡£¦X�p��®4°Ö�\ �¦ÇÆǦX¢�¢\¥4ª�¦�Ì3þ"®��\¡£­X¦� A®&¨ �\ �¦ ê �9ë °dËA��­oÉ�\¡£®��é­j¥4§�§\¡£¦X¢b®&©f¦o§j«Ù¡£�¡`�\¢�¢�¦j¥&§\­� .«Ô�\ �¦�®�§\¡£ª�¡£��¥�Ê#§\¦X­X¦o¡�©�¦o§�®4°��\ �¦ÆǦX¢�¢\¥�ª�¦�Ì

ÿ�¢�¡��Aªb¢���¥4�QÈA¥4§�È��\¦o­� A��¡+xpË�¦X¢#¡£���\¦o§\ÆD§\¦o¨Ö§\¡`�\¡£��ª�¢�ÎA¢��\¦oÆÇ¢#¨#¦ Q¥j©f¦IG����������� �� �������� ª è ¾ ï)ðñ ¼�¾� ²L´jµd¶¸·�³*¶dÁbý�èw² ¼ ´�è ¿�� ·�Á�Á ¾o¼�5

�Ùñ Þ �� � � ´ ± ´ � �s����ñ î í � �|�&� ³V� í ��ñ`�&� �Ø�¦�ÈL¦��Q�A¦V¥��2®�¤�¦o§�¥&�\¡�®��Q¥4ÊK¢�¦XÆ�¥4�w�\¡£­X¢�ÄpÎ*ÆǦj¥4��¢�®�°Ö¥:�Q¥&�\ËA§�¥�ʤA§\®p®4°�ÈA¦XÈAË�­��\¡�®��é¢�ÎA¢��\¦oÆ��¥9Ê�¥��0Ê£®4�.-L¡£��÷ /I/4ús«0¨� �¡£­� 3Æ�¥�¤A¢�¦X©pɦo§�Î3¡£��¤�ËL�V�\¦o§\Æ ��¶ 5d¾65 ¥ö­XÊ£®�¢�¦jÈ×�\¦o§\Ƭ��\®ö¡`�\¢Ç®�ËA�\¤AËA�1��¶ 5d¾65 ¥©�¥4Ê£Ë�¦n�ÌÙÍ# A¡£¢K¢�¦XÆ�¥4�w�\¡£­X¢0¦X�L°d®�§\­o¦X¢#¥�Ð�Ê�¥n,oÎLÑ�¦X©�¥4Ê£ËQ¥4�\¡£®��Ç¢���§�¥4�\¦Xª4ή&©f¦o§��\¦o§\ÆÇ¢XÌÒ�Z��¡£¢+¨K®�§��\ ��A®��\¡£­X¡£��ªÏ�\ �¥4���\ �¡£¢�¢�¦XÆ�¥4�w�\¡£­X¢�¡£¢ Âp¾X¿µ ¾o¼ üb¶d³�¶hÁ�µd¶d´#¥���ÈV �¦X�A­X¦�¡`�#¢�¤�¦X­X¡@��¦X¢ �\ A¦ÖÄ�¦X Q¥j©w¡£®�§#®4°�¥�Ð\¤�®�¢�¢�¡£ÄAÊ�¦¡£�w�\¦�§\¤A§\¦o�\¦o§\Ñb°d®�§����(�)���bÌ

Í# A¦]¢�¦o�J®�°Ù©�¥�Ê£Ë�¦o¢J¡£¢JÈA¦a�Q��¦XÈÒ¥4¢J°h®�ʣʣ®&¨�¢=G� �)� G+G X Vi�M� ��];]ÇÚBX �n¡ `Fè V `% G+G X ç�è � �)�QèI�;éPY �

Í# �¦ÇÈL¦jÈAËA­o�\¡£®��9§\Ë�Ê£¦X¢�¥&§\¦V¤A§\¦X¢�¦o�w�\¦XÈ*¡£�öó�¡�ª�ËA§\¦B/pÌ£ø�ÌÇÍ# A¦ �K¡£ª4É2w�\¦X¤ ®�¤�¦o§�¥&�\¡�®��Q¥4ÊÇ¢�¦XÆ�¥��p�\¡£­X¢9¡£¢ö¢�®�Ë��QÈ ¨�¡`�\  §\¦X¢�¤�¦o­o�ö�\®×�\ �¦2LÆ�¥4Ê�Ê`ÉÂ2w�\¦o¤Ò§\¦jÈLË�­o�\¡£®��Ò¡£�:�\ �¦"°h®�ʣʣ®j¨�¡��Aª�¢�¦X��¢�¦IG

Page 4: A lambda calculus of objects with self-inflicted extension

%��1%�iî ��!�]#"�$ ë ó �

� � ���;éPY � ¦ � ÷ � ¡=ò é�ú � ¦ � �Ñ%���;�n¡ �1%

�iî ��!�]lî � ¢Â$;

� � � �� ê �9ë � � ��I!ZÚ ! � ���$�Ñ%� f Ú%�Ñ% �iî ��!�] ê �9ë>� ç�¢

��¡ � ����1%ê �9ë � Vi� � ��];]VÚBX � ¡ `a!^Ú ! � ���$�Ñ%

�iî&��!�] êEó ç�ç �nônô

� � � � �� ¦ ê �në � � �)� ¦ !^Ú ! � �)��'�3% ÚjöX¬àê �9ë � Vi�M� ��];]ÒàLX �n¡ `a!^Ús! � �)��'�3%

�iî&��!�]lõ � é&¢.

ó�¡£ª�ËL§\¦L/�G0�>�A¤�ËA�aÛ��"ËA�\¤AËA�l2w¦XÆ�¥��p�\¡£­X¢��i�K¡£ª4É)2p�\¦X¤s

����������� �� ��(�)�*�,+.-���/'�'0'�$12���3��45�76 � ± � �Ñ% � µ�è ¾ ³ � ñï)ðñ % 5�����)��4.8&9J½9¶d³  ²L´jµd¶¸·�³¬·�³×µ�è ¾ Á�µ ¼ ²A´jµd² ¼�¾ ·�±�µ�è ¾:Âp¾o¼ ¶>H&¹fµd¶d·�³·�±� �Ñ% 5Ø�¦"­X®��&Å�¦X­o�\ËL§\¦�¥�Ê£¢�®V�\ �¦]°h®�ʣʣ®j¨�¡��Aª�G: ��<;=12>?��/@�A1����*BC+ : �DE�'F 12�G1H�@1H���&��45��6 � ± � ñï)ðñ % � µ�è ¾ ³Vµ�è ¾o¼�¾¾ D�¶dÁ�µdÁl% ¦ Á\²L´�è9µ�èL¹�µ � �3% ¦ 5à&�@à � åÔî �@� � �&��ñ î í î � ������³B´ � � �æ�¦��

V Ú � X � � !=Y=Y6Y=!^ÚHI�X � I�`Ä�¦]¢�ÎL�p��¥�­o�\¡£­�¢�ËAªf¥4§�°h®�§

V Y=Y�Y VV `���];]VÚ � X �M� `�Y=Y6Ys��];]�ÚHI�X � II`a!°d®4§ w(J ø�Ìé�Z�3�\ A¦Ò�A¦o¯w�V¦o¯A¥4ÆǤ�Ê£¦X¢�¨K¦:¢� �®j¨�¢V�\ L§\¦X¦:®�ÄwÅ�¦X­o�\¢X«¦j¥4­� Ï®4°Ô®��A¦�¤�¦o§�°d®4§\ÆÇ¡£��ªA«L§\¦X¢�¤�¦X­��\¡�©�¦XÊ`Î G

q ®��A¦�¢�¦XÊ`°hÉ^¡£�AæQ¡£­o�\¦XÈϦo¯w�\¦X��¢�¡£®�� rq �>¨K®1�¸��¦X¢��\¦jÈ& ¢�¦XÊ`°hÉ^¡£�Aæ�¡�­��\¦jÈ:¦o¯w�\¦X�A¢�¡�®���¢=rq ¥9Ð\¢�¦oÊ£°�É^¡��LæQ¡£­o�\¦jÈϦ�¯L�\¦o��¢�¡£®��AÑV®��:�\ A¦"æ�ÎpÌ

J�D�¹�ü » º ¾���5>K ýÙ·�³AÁ�¶ Âp¾o¼ µ�è ¾ · Àdÿj¾ ´jµVÜ4Û���ã Û�Nfâ Âp¾ C0³ ¾� ¹�Áb±o·fº ¿º`·�çÙÁ R

Ü4Û���ã ÛIN�â SU V Ý�åfå àcX_�TÜ�Û��4ã;Y V Ü�Û���ã'��];]ÒàLX_�TÜ�Y+®9``aY� ±Jç ¾ Á ¾ ³  µ�è ¾ ü ¾ Á�Á�¹jà ¾ Ý�åfå à9µ¸·bÜ�Û���ã ÛINfâ � µ�è ¾ ³Ïç ¾ èw¹IH ¾ µ�è ¾±o·fºhº`·�çÙ¶d³pÃÇ´\·�ü » ²Aµ¸¹�µd¶¸·�³ RÜ�Û��4ã ÛINfâLf Ý�åfå à ï)ðñ ê �9ë �ZÜ4Û���ã Û�Nfâ;!�Ý�å�å à�!�Ü�ÛM��ã ÛIN�â�

ï)ðñ ���TÜ�Û���ã;Y V Ü�ÛM��ãh��];]:àLX_�TÜ�Y+®9`.AÜ�Û���ã ÛINfâï)ðñ V Ü�Û���ã ÛINfâl��];]ÒàLX_�TÜ�Y+®9`a!

¡¸Ì ¦�Ì"µ�è ¾ ü ¾ µ�èw·  à�èL¹�Á À\¾\¾ ³*¹ ÂfÂp¾� µ¸·ÇÜ4Û���ã Û�Nfâ 5 þ#³9µ�è ¾ ·fµ�è ¾o¼èL¹�³ Ân� ¶ ±bç ¾ Á ¾ ³  µ�è ¾ ü ¾ Á\Á�¹jà ¾ Ý4åfå àéµdçÙ¶¸´ ¾ µ¸·:Ü�ÛM��ã ÛIN�â � ¶h³ ¿Á�µ ¾ ¹ Ân� µ�è ¾ ü ¾ µ�èL·  à¶hÁb·�³Qº ½Ò·IH ¾o¼�¼ ¶ ÂfÂf¾ ³ç0¶dµ�èöµ�è ¾ Á�¹�ü ¾�À ·  ½�Kè ¾ ³�´ ¾ ç ¾ · À µ¸¹�¶d³�¹�³V· Àdÿj¾ ´jµTç�èw¶¸´�è+¶dÁML>· »A¾o¼ ¹fµd¶¸·�³�¹fºdº ½ ¾ON ²w¶>H&¹fº ¾ ³�µQPµ¸·�µ�è ¾�»�¼�¾ Hj¶¸·�²wÁ�·�³ ¾65

J"D�¹�ü » º ¾���5�� ýÙ·�³�Á\¶ Âp¾o¼ µ�è ¾ · Àdÿj¾ ´jµh�&àfàwÛ�{ ÛINfâ Âp¾ C0³ ¾� ¹�ÁJ±o·�º ¿º`·�çÙÁ R�&àfàwÛ�{ ÛINfâÑSUV Ý�åfå Ú àcX_�TÜ�Û���ã&Y V Ü�ÛM��ãh��];]VÚQX_�TÜ�Y V Ü���]�]:àLX_�TÜ ¦ Y+®9```aY

� ±�ç ¾ Á ¾ ³  µ�è ¾ ü ¾ Á\Á�¹jà ¾ Ý�åfå Ú à3µ¸·Ñ�&àfàwÛ�{ ÛINfâ � µ�è ¾ ³éç ¾ · ÀX¿µ¸¹�¶d³ R�jàfàwÛI{ ÛINfâLf�Ý�å�å Ú à ñï)ðñV �jàfàwÛI{ ÛINfâl��];]ÇÚ­X_�TÜ�Y V ÜF��]�]ÒàcX_�TÜ ¦ Y+®9``a!

¡¸Ì ¦�Ì]µ�è ¾ ü ¾ µ�èL·  Ú2èw¹�Á À\¾\¾ ³2¹ ÂfÂp¾� µ¸·VÜ�Û��4ã ÛINfâ 5 þ#³9µ�è ¾ ·fµ�è ¾o¼èL¹�³ Ân� ¶ ±�ç ¾ Á ¾ ³  C ¼ Á�µ+µ�è ¾ ü ¾ Á\Á�¹jà ¾ Ý�åfå Ú à � ¹�³  µ�è ¾ ³�Ú�µ¸·�&àfàwÛ�{ ÛINfâ � ç ¾ · À µ¸¹�¶d³*µ�è ¾ ¹ Âf ¶¸µd¶¸·�³ö·�± À ·fµ�è:ü ¾ µ�èw·  Á Ú�¹�³  à R���&à�àwÛI{ Û�NfâLf�Ý�åfå Ú à��f Ú ñï)ðñV Ý�åfå Ú à X �TÜ4Û���ã&Y V Ü�Û���ãl��]�]�ÚBX_�TÜ�Y V Ü���];]ÒàLX �TÜ ¦ Y+®9``Ú X �TÜ4Û���ã&Y V Ü�Û���ãl��]�]:àcX_�TÜ ¦ Y�®6`à X �TÜ4Û���ã&Y+®9`

J"D�¹�ü » º ¾���5�¨ ýÙ·�³�Á\¶ Âp¾o¼ µ�è ¾ · Àdÿj¾ ´jµQã��AR ÛINfâ Âp¾ C0³ ¾� ¹�ÁT±�·fºdº`·�çÙÁ Rã��SR ÛIN�â1SUV ã X �TÜ�Û���ã;Y ��O&Y O f�à&!ÞpÛ�â ã�X �TÜ�Û���ã;Y+�ZÜ�ÛM��ã f�ã� V Ü�Û��4ãh��]�]ÒàcX_�TÜ�Y+®9``aY

� ±�ç ¾ Á ¾ ³  µ�è ¾ ü ¾ Á\Á�¹jà ¾ ÞpÛ�â ã2µ¸·Vã��SR Û�Nfâ � µ�è ¾ ³öç ¾ èL¹IH ¾ µ�è ¾±o·fºdº`·�ç0¶h³pÃ�´�·�ü » ²Lµ¸¹fµd¶¸·�³ Rã��AR ÛINfâLf�ÞpÛ�â ã ï)ðñ ê �9ë �¸ã��SR ÛIN�â;!�ÞpÛ�â ã;!\ã��SR ÛINfâ�ï)ðñ ���TÜ�Û��4ã&Y��ZÜ4Û���ãLf ã� V Ü4Û���ãh��];]ÒàLX �TÜ�Y�®6`.wã��SR ÛINfâï)ðñ �¸ã��SR ÛINfâLf ã� V ã��SR Û�Nfâh��];]�à X_�TÜ�Y+®9`ï)ðñ ê �9ë �¸ã��SR ÛINfâ&!�ã;!�ã��SR Û�Nfâ� V ã��AR ÛIN�âh��]�]ÒàcX_�TÜ�Y+®9`ñï)ðñ ���TÜ�Û��4ã&Y ��O;Y Ocf à�wã��AR ÛINfâ V ã��SR ÛINfâ'��];]�àcX_�TÜ�Y+®9`ñï)ðñ V ã��SR ÛINfâ'��];]�àcX_�TÜ�Y+®9`"f àñï)ðñ ®I!

¡¸Ì ¦�Ì]µ�è ¾ ±o·fºdº`·�çÙ¶d³fÃ�Á�µ ¾Z» Á�¹ ¼�¾�»A¾o¼ ±o· ¼ ü ¾�Â�RKI5 µ�è ¾ ü ¾ µ�èL·  ÞpÛ�â ãG´\¹fºhº ÁÒµ�è ¾ ü ¾ µ�èL·  ãç0¶dµ�è3¹f´jµd²L¹fº » ¹ ¿¼ ¹�ü ¾ µ ¾o¼ µ�è ¾ · ÀdÿX¾ ´jµÔ¶¸µdÁ ¾ º ±]¹�²�Ã�ü ¾ ³Qµ ¾� çÙ¶¸µ�èÒµ�è ¾ à�ü ¾ µ�èL·  K

��5 µ�è ¾ ã�ü ¾ µ�èL·  µ¸¹nì ¾ Á�¹�Á�¶d³ » ²Aµ0µ�è ¾ èL·�Á�µK· ÀdÿX¾ ´jµ ¹�²�Ã�ü ¾ ³�µ ¾\ÂçÙ¶¸µ�è�µ�è ¾ à�ü ¾ µ�èL· Ân� ¹�³  Á ¾ ³  Á�µ¸·+µ�èp¶dÁÖ· Àdÿj¾ ´jµ�µ�è ¾ ü ¾ Á\Á�¹Xà ¾à*ç�èw¶¸´�è:Á\¶dü » º ½ ¼�¾ µd² ¼ ³AÁ�µ�è ¾ ¶d³�µ ¾ à ¾o¼ ® 5T álã��Bá@U ´ �¬�U �\� � ³�>�é�\ �¡£¢V¢�¦X­��\¡�®���«0¨#¦:¨�¡£Ê£Ê�¡£�w��§\®wÈLË�­X¦��\ �¦�¢�ÎL�w��¥&¯®�°��>ÎL¤�¦X¢X«Ù�\®�ɪ�¦o�\ A¦o§�¨�¡`�\ *�\ A¦�ÆÇ®�¢��]¡£�p�\¦o§\¦X¢��\¡£��ª��>ÎL¤�¦+§\ËAÊ£¦X¢XÌ+�>���\ �¦b¢\¥�-f¦b®�°¢�¡£ÆǤ�Ê£¡£­X¡`�>Îp«�¨K¦Ö¤A§\¦o°h¦o§Ù�\®§��§\¢��0¤L§\¦X¢�¦X�p�Ù®�°��\ A¦K�>ÎL¤�¦#¢�ÎL¢��\¦XÆ ¨�¡`�\ AÉ®�ËL�J�\ A¦�§\ËAÊ�¦o¢�§\¦oÊ�¥&�\¦jÈÒ¨�¡`�\ :®�ÄwÅ�¦X­o�J¢�Ë�ÄA¢�Ë�ÆǤL�\¡�®��©�d�\ A¦oÎǨ�¡£Ê£Ê�Ä�¦ÈA¡£¢�­XËA¢�¢�¦jÈ¡£�_2L¦X­��\¡�®���:��Ì Í# �¦�­X®�ÆǤ�Ê£¦o�\¦�¢�ÎL�p��¥4¯¬¥��QÈ×¢�¦o��®�°§\Ë�Ê£¦X¢J­j¥��ÒÄ�¦]°d®�Ë��QÈ�¡£�:�\ �¦ ò ¤�¤�¦X��ÈA¡`¯TÌT&�hêWá�U ´ � �Í# �¦V�ZÎA¤�¦b¦o¯L¤A§\¦X¢�¢�¡£®���¢�¥4§\¦�ÈL¦X¢�­o§\¡£Ä�¦jÈ*ÄwÎ��\ A¦b°h®�ʣʣ®&¨�¡£�Aª*ª4§�¥�ÆVÉÆ�¥4§6G

V !�� GyG X W�èn¢Fè V ñ �¬ènO�{wáE¢�Y V Vi£�¤'£ ¦ ` `Fè V � ��]�]0Ú£ ! £ ¦ GyG X XLè £ !sÚÑG VY GyG X Z

Page 5: A lambda calculus of objects with self-inflicted extension

¨� �¦�§\¦ V ¥4�QÈ��¥&§\¦ÒÆǦo��¥&É^©�¥&§\¡�¥4Ä�Ê£¦X¢+§�¥���ª�¡£��ª9®&©f¦o§��ZÎL¤�¦X¢X«[W]¡£¢¥�ÆǦo��¥4É^©�¥4§\¡�¥�ÄAÊ£¦�®&©f¦�§V­X®���¢���¥��p�b�>ÎL¤�¦X¢X« £ « ¥���È £§¦ ¥4§\¦�ÆǦo��¥&É©�¥4§\¡�¥�ÄAÊ�¦o¢ §�¥��Aª�¡£��ª�®&©f¦�§ §\®j¨�¢X«L¥���È Y ¡�¢K¥]ÆǦo��¥j©�¥&§\¡�¥�Ä�Ê£¦Ö§�¥��Aª�¡£��ª®&©f¦o§ �\ �¦�Ë��A¡�xpËA¦h-w¡£�QÈV®4°��ZÎA¤�¦o¢X«Q¶ 5d¾65 Z�Ì ò ¼ ·�ç9¡£¢Ö¥4��²L³�· ¼�Âf¾o¼�¾�¢�¦o�0®�°.¤�¥�¡`§\¢ � ü ¾ µ�èL·  º`¹ À\¾ º � ü ¾ µ�èL·  µd½ »A¾ �jÌ"�"ÄwÅ�¦X­o��És�>ÎL¤�¦X¢Ù¡£�V�\ �¦°d®4§\Æ O�{wáE¢�Y V Vi£c¤;£§¦ ` `�¥4§\¦K­j¥�ʣʣ¦jÈLO�{pá4És�>ÎL¤�¦X¢X«� �¦o§\¦�O�{wá"¡£¢Ù¥�ÄA¡���ÈA¦o§°d®4§"�\ A¦]�>ÎL¤�¦oÉ^©�¥&§\¡�¥�Ä�Ê£¦�¢�Ì ò ¢J¡��÷`øXù�ús«�¨#¦�Æ�¥XÎ:­X®���¢�¡�ÈA¦�§]®�ÄpÅ�¦o­o��É�>ÎL¤�¦X¢]¥�¢�¥Ò°h®�§\Æ ®4°#§\¦X­XËL§\¢�¡�©�¦XÊ`ÎLÉZÈL¦��Q�A¦jÈÏ�>ÎL¤�¦X¢XÌV�Z�*�\ A¡£¢�¤Q¥�¤�¦�§¨#¦Ç¨�¡£Ê£ÊK°h§\¦o¦XÊ`Î�Ë�¢�¦]\�ÉZ­o®��w©f¦o§\¢�¡£®��®4°Ö�>ÎL¤�¦oÉ^©�¥4§\¡�¥�ÄAÊ�¦o¢bÄ�®�Ë��QÈ*ÄpÎO�{wáwÌ

Í# �¦�¡£�p�\¦X�QÈL¦jÈ�ÆǦX¥���¡£�AªV®�°Ù¥4�Ï®�ÄpÅ�¦o­o��És�>ÎL¤�¦IGOM{wáE¢aY V V Ú � G V � Y6Y=Y^Ú_^­G V ^ ¤ Ú_^ � � G V ^ � � Y=Y=YsÚ_IcG V IM` `a!

¡£¢Ö�\ �¦"°h®�ʣʣ®&¨�¡£�Aª�Gq Ú � !=Y6Y=Y�!^Ú_^é¥4§\¦Ï�\ A¦�ÆǦo�\ �®wÈL¢V�\ Q¥4��­X¥��Ä�¦�¡£�w©f®I-�¦jÈ r�¨#¦¢\¥XÎ��\ �¥4� �\ �¦X¢�¦�ÆǦo�\ �®wÈL¢#Ä�¦XÊ£®��Aª+�\®+�\ �¦�¶d³Qµ ¾o¼ ±o¹f´ ¾ ¤Q¥&§��Ö®�°�\ �¦J®�ÄpÅ�¦X­���É^�ZÎL¤�¦�Ì0Í# �¦o§\¦�°d®�§\¦�«L�\ A¦�®�ÄwÅ�¦X­o��És�>ÎL¤�¦lO�{wáE¢aY V V Ú � GV � Y�Y=Y^Ú_^AG V ^ ¤ ` `]¡£¢+�\ A¦V­X®�ËA�p�\¦o§\¤Q¥&§���®�°Ö�\ �¦�®�ÄpÅ�¦X­o��És�ZÎA¤�¦t �fÝpÜ�Ü�¢�Y V V Ú � G V � Y=Y6YsÚ_^BG V ^�` `#®�°Ö÷`øjù�úsÌ

q Ú_^ � � !�Y=Y=Y6!^Ú_I"¥4§\¦ÖÆǦo�\ A®wÈA¢��\ Q¥&�Ù­j¥��A��®4� Ä�¦Ö¡£�w©f®�-f¦jÈ r4�\ �¦�Î¥4§\¦ ¼�¾ Á ¾o¼ H ¾� «�¶ 5d¾65 �\ A¦oÎ+Ä�¦XÊ£®��Aª"�\®��\ A¦ ¼�¾ Á ¾o¼ H&¹fµd¶¸·�³�¤�¥4§��Ù®�°�\ �¦#®�ÄwÅ�¦X­o��És�>ÎL¤�¦�Ì�Ø�¦ ­j¥��b¦o¯w�\¦X�QÈ+¥��+®�ÄpÅ�¦X­�� � ¨�¡`�\ �¥���¦�¨ÆǦo�\ �®wÈbÚÒ �¥&©w¡£��ª+�>ÎL¤�¦ V ®��AÊ`Î�¡£°�¡£��¡£¢�¤�®�¢�¢�¡£ÄAÊ�¦]�\®�¥�¢�¢�¡£ª���\® � ¥��ö®�ÄpÅ�¦X­���É^�ZÎL¤�¦�®�°K�\ �¦b°h®�§\Æ O�{pá�¢�Y V Vi£^¤�£ ¦ !ZÚ�G V ` `�Ìò ¢�¨#¦Ç§\¦XÆ�¥&§.-f¦jÈ2¡£�2�\ A¦Ç¡��p��§\®wÈLË�­o�\¡£®��.«Ô�\ �¡£¢�§\¦X¢�¦o§\©�¥4�\¡£®��ÆǦX­� Q¥��A¡£¢�Æ ¡£¢+­o§\Ë�­o¡�¥4Ê �\®�ª�ËQ¥4§�¥4�p�\¦X¦Ç�\ �¦Ç­X®���¢�¡£¢��\¦X��­�Î�®�°�\ �¦]�ZÎA¤�¦"¢�ÎA¢��\¦oÆÏÌ

Í# �¦�®�¤�¦o§�¥4�\®4§A� ��]�] ¡£¢ÏËA¢�¦jÈG�\®×¥�È�ÈE��¦o¨ ÆǦo�\ �®wÈL¢��\®×¥��®�ÄpÅ�¦o­o��És�>ÎL¤�¦IrÙ¦X¢�¢�¦X�p�\¡�¥�Ê£Ê`Ρ`�b¡�¢+�\ �¦öÐ��>ÎL¤�¦Ç­X®�ËA�p�\¦o§\¤Q¥&§��\Ñ�®�°��\ �¦®�¤�¦�§�¥4�\®�§j��];]öÌT&�@à åÙî í � � �4�\�"� í ïa`fðLï�Þ;³ �fí �\�Í# �¦�­o®��p�\¦o¯w�\¢Ö Q¥j©f¦"�\ A¦"°d®�Ê£Ê�®j¨�¡£��ª�¢� Q¥4¤�¦IG

bjGyG XcXLè?be!éÑG��¬è?be!¢�dAeÑ��"ËA§��ZÎA¤�¦V¥�¢�¢�¡£ª��AÆǦX�p��¢�ÎA¢��\¦oÆ Ë�¢�¦X¢KÅ�ËQÈLª�ÆǦX�p�\¢�®�°K�\ �¦b°h®�Ê`É

Ê£®j¨�¡��AªÇ¢� Q¥4¤�¦X¢=Gbaf �Sg !hbif V G?Zl!jbaf � G V !hbaf V dAe1��!jbaf V ý�kOl ï] ñ �

Í# �¦0¡£�p�\¦X�QÈL¦jÈ]ÆǦj¥��A¡£��ªÖ®�°w�\ A¦��A§\¢����\ L§\¦X¦TÅ�ËQÈLª�ÆǦX�p�\¢.¡�¢.�\ �¦0�Q¥&��ÉËA§�¥4ÊA®���¦IG�¨#¦XÊ£Ê`És°d®4§\ÆǦjÈV­X®��p�\¦o¯w�\¢0¥���È+�ZÎA¤�¦o¢X«p¥���ÈV¥�¢�¢�¡£ª���ÆǦX�p�Ù®�°V �\®Ç¥��Ò¦o¯L¤A§\¦X¢�¢�¡£®�� � ÌÍ# �¦#¡£�p�\¦X��ÈA¦jÈ�ÆǦj¥��A¡£��ª�®�°A�\ �¦.Å�ËQÈLª�ÆǦX�p�7bif V dAe1��¡£¢��\ Q¥&�V ¡�¢Ç�\ A¦:�>ÎL¤�¦Ï®4°�¥2¤�®�¢�¢�¡£ÄAÊ�¦9¦o¯w�\¦X�A¢�¡£®��®4°�¥��®�ÄwÅ�¦X­o�� Q¥j©w¡£��ª�>ÎL¤�¦h�.Ì ò ¢#¡£�9÷£ø�øp«�°4ús«w�\ �¡£¢�Å�ËQÈAª�ÆǦX�p� °h®�§\Æ�¥4Ê�¡y,X¦o¢��\ A¦��A®��\¡£®���®�°ü ¾ µ�èw· Âf¿ Á »A¾ ´X¶¸¹fº ¶y*j¹�µd¶¸·�³A�¸®4§ »Q¼ ·fµ¸·j´\·fº ¿Z¾ D�µ ¾ ³�Á\¶¸·�³��«K¶ 5h¾65 �\ A¦+­X¥�¤Q¥&ÉÄ�¡£Ê£¡`�>Îb�\®ÏÐ�¡£�� �¦�§\¡£�\Ñ��\ �¦Ö�ZÎA¤�¦�®4°��\ A¦JÆǦ��\ �®wÈA¢0®�°.�\ �¦�¤L§\®��\®��ZÎL¤�¦�Ì

Í# �¦"Å�ËQÈAª�ÆǦX�p�&bmf V ý kOl ï] ñ �ö¦o¯L¤L§\¦X¢�¢�¦X¢+¥ÒÊ£¡£ÆÇ¡`�\¦jÈ*°h®�§\Æ ®�°�>ÎL¤�¦oÉ^­X®��w©f¦o§\¢�¡£®��é¨� �¡£­� ¥�ÆÇ®�Ë��p�\¢V�\®2¢�¡£ÆǤAÊ�¡`°�Î×®p­o­XËA§�§\¦X�A­X¦X¢�®�°� ��]�]"Ì ò °h®�§\Æ�¥4Ê]¢�ÎL¢��\¦XÆÏ«�¡£��¢��\¦j¥�È®�°+¢�¡£ÆǤ�Ê£¦�§\¦o¨Ö§\¡`�\¡��Aª§\Ë�Ê£¦X¢X«¡£¢��A¦X¦jÈA¦XÈ�¢�¡��A­X¦�Ä�®�Ë���ÈA¦jÈ2�ZÎL¤�¦oÉ^©�¥&§\¡�¥4Ä�Ê£¦X¢+­j¥��é®p­X­oËA§V¡£�p�\®��\ �¦§\¦jÈLË�­o�\¡£®��.Ì

Í# �¦#�ZÎA¤�¦ §\Ë�Ê£¦X¢Ô°d®4§0¨K¦XÊ£Ê`É^°h®�§\ÆǦjÈb­X®��p�\¦o¯w�\¢Ù¥4§\¦Ö¢���¥4�QÈA¥4§�ÈV¥4�QÈ��¦o¦jÈÒ�A®V­X®�ÆÇÆǦo�w�jÌT&�nTpo^�M�@� ��� îp�³ � ï á@U ´ � �­øÔð � � ��>���\ �¦]°h®�ʣʣ®&¨�¡£�Aª�¨K¦]¨�¡�Ê£Ê�¡£��ÈA¡£­j¥4�\¦]¨�¡`�\ rq ��Ú � G V � Y=Y=Y^ÚH^QG V ^��\ �¦"¢�¦o��s�Ú � Y=Y=Y^Ú_^HtfÌ

Í# A¦ ��Z5uAv � ]xw�y �Sz §\Ë�Ê£¦be!¢�dAe¬O�{wá�¢aY V V�¤M£ ` `�f V G{Z Újö| q � £

brfBO�{wáE¢�Y V V�¤M£ !ZÚ¬G V ` `�GSZ¥�¢�¢�¦o§��\¢��\ Q¥&�#�\ �¦"®�ÄpÅ�¦X­o��És�ZÎA¤�¦'O�{wáE¢aY V V�¤M£ !ZÚ¬G V ` ` ¡£¢Ö¨#¦XÊ£Ê`És°d®4§\ÆǦjÈ¡`°J�\ A¦Ç®�ÄpÅ�¦X­���É^�ZÎL¤�¦ O�{wáE¢aY V V�¤M£ ` `�¡£¢�¨#¦XÊ£Ê`És°d®4§\ÆǦjÈ.«Ù¥4�QÈ2�\ A¦V�>ÎL¤�¦V ¡£¢b¨K¦XʣʣÉs°h®�§\ÆǦjÈ�ËA�QÈA¦�§+�\ A¦� wÎL¤�®4�\ �¦X¢�¡£¢��\ Q¥4�L¢�¡£¢�¥4�®�ÄpÅ�¦X­���É�>ÎL¤�¦Ö­X®��w��¥4¡£��¡£��ª]�\ A¦ÖÆǦo�\ �®wÈL¢0¡£�3q � £ �Ì�2L¡£��­X¦ V Æ�¥jÎ+­X®��p��¥�¡£�¢�Ë�Ä�¦o¯L¤L§\¦X¢�¢�¡£®��é®�°�°d®4§\Æ ¢�� ��]�]#àQ«Ô¨�¡`�\ �à | q � £ �«�¨#¦���¦o¦jÈ2�\®¡£�w��§\®wÈLË�­X¦�¡£�:�\ A¦]­X®��w�\¦�¯L�Ö�\ A¦] pÎL¤�®��\ �¦o¢�¡�¢l¢�dAe¬OM{wáE¢aY V V�¤I£ ` `�ÌÍ# A¦ ��Z5uAv � ]xw�y �S} §\Ë�Ê£¦

bafQO�{wáE¢�Y V V�¤M£ ! £ ¦ ` `�G{ZbafQO�{wáE¢�Y V Vi£�¤l£ ¦ ` `�G{Z

¥�¢�¢�¦o§��\¢��\ �¥4��ÆǦo�\ �®wÈL¢��d¨�¡`�\ �§\¦XÊ�¥4�\¦jÈ]�ZÎA¤�¦o¢aT­j¥4�+Ä�¦0ÆÇ®&©f¦jÈ�°�§\®�Æ�\ �¦"§\¦o¢�¦o§\©�¥&�\¡£®��Ò�\®+�\ �¦�¡��p�\¦o§�°d¥�­X¦"¤Q¥4§���®4°Ô¥4�:®�ÄpÅ�¦o­o��És�>ÎL¤�¦�¨�¡`�\ AÉ®�ËL�"¥9?T¦X­o�\¡£��ªb�\ �¦]¨#¦oÊ�Ê`És°d®4§\ÆǦjÈA�A¦X¢�¢�®�°Ô�\ A¦]®�ÄpÅ�¦X­���É^�ZÎL¤�¦]¡`�\¢�¦XÊ`°>Ì

Í# A¦ ��Z5uAv � ]x~�é&¢ ���)� 0§\Ë�Ê£¦bif¬�#dAe3O�{wáE¢aY V V�¤M£ !^Ú3G V ` `

bafQ� � ��]�]0Ú¬G?Z¥�¢�¢�¦o§��\¢#�\ �¥4�j«w¡£��®�§�ÈL¦o§K�\®b¥�¤A¤�Ê`ÎÑ� ��]�]0ÚV�\®�¥4��®�ÄpÅ�¦X­o��És�ZÎA¤�¦h�.«��\ �¦�>ÎL¤�¦�����¦X¦jÈL¢Ö�\®V­X®��p��¥4¡��Ò�\ �¦]ÆǦo�\ A®wÈ�ÚTÌT&� � � ����� ã ñ í Þ á�U ´ � ø�ð � � �Í# �¦�ÆÇ®�¢���¡£�p�\¦o§\¦X¢��\¡£�Aª�§\Ë�Ê£¦X¢Ö°d®4§JÆǦo�\ �®wÈwÉZ¢�¤�¦o­X¡�¥�Ê£¡y,j¥4�\¡£®��9¥&§\¦���_$�¢�ç=�|]#� � � � yA��¢�«�����$�¢�ç=�|]'î �A�?g ]#w�y � �«�����$�¢�ç=�|] £���� } �«¥���Èj���_$�¢�ç=�|] £���� z �ÌÍ# A¦ ���_$�¢�ç=�|]#� � � � yA��¢0§\Ë�Ê£¦

bafQ� � ��]�]0Ú¬G?Zbaf¬�s� ��]�]0Ú�dAeÑ�

¥�¢�¢�¦o§��\¢Ï�\ �¥4�Ï¥é�ZÎA¤�¦©�¡£��­o§\¦oÆǦX�p�\¦jȬ¨�¡`�\  ¥éÆǦo�\ �®wÈéÚE¡£¢�¥¢�¤�¦X­X¡�¥�Ê£¡y,j¥&�\¡�®��ö®4°Ô�\ �¦�®4§\¡�ª�¡£�Q¥�Ê��>ÎL¤�¦��.Ì Í# A¡�¢�§\Ë�Ê£¦�­j¥4¤A�\ËL§\¦X¢Ö�\ �¦¦X¢�¢�¦X�A­X¦Ò®4°J¤A§\®��\®p­o®�Ê`É^¦o¯w�\¦X��¢�¡£®��.Ì1þ"®4�\¦Ç�\ Q¥4�c�2­j¥4��Ä�¦�¥:�>ÎL¤�¦oÉ©�¥&§\¡�¥�Ä�Ê£¦+ÈA¦o­XÊ�¥4§\¦jÈ:¡£���\ �¦�­X®��w�\¦�¯L�#bÙÌ

Í# A¦ ���_$�¢�ç=�|]'î �S�Sg ]#w�y � 0§\Ë�Ê£¦bifBOM{wáE¢aY V Vi£�¤l£ ¦ ` `FGSZ baf­O�{wá�¢aY V Vi£A¤'£ ¦ !^Ú¬G V ` `�G{Z

bafQO�{wáE¢�Y V Vi£A¤'£ ¦ !^Ú3G V ` `�dAe¬O�{pá�¢�Y V Vi£�¤'£ ¦ ` `¥�¢�¢�¦o§��\¢]�\ �¥4��¥4�ö®�ÄwÅ�¦X­o��És�>ÎL¤�¦�¨�¡`�\ öÊ£¦X¢�¢]§\¦X¢�¦�§\©f¦jÈ�ÆǦo�\ �®wÈL¢"­j¥4�Ä�¦Ç¢�¤�¦X­X¡�¥�Ê£¡y,X¦jÈ2�\®:¥��ö®�ÄpÅ�¦X­o��És�ZÎA¤�¦b¨�¡£�\ 2ÆÇ®�§\¦�§\¦X¢�¦�§\©f¦jÈöÆǦ��\ AÉ®wÈA¢XÌ

Í# A¦L����$�¢Âç=� ] £���� } �«L¥��QÈ�����$�¢�ç=�|] £���� z Ô§\Ë�Ê£¦X¢#¥4§\¦"¢�¡£ÆVɤ�Ê£¦IG��Z¨#®]¦=xwËA¡£©�¥4Ê�¦o�w�Ô�ZÎL¤�¦X¢Ù­j¥��VÄ�¦Ö­o®���¢�¡�ÈL¦o§\¦jÈV¥4¢ Ä�¦X¡£�Aª]®��A¦#�\ �¦¢�¤�¦X­X¡�¥�Ê£¡y,j¥&�\¡�®��ö®4°��\ �¦"®��\ �¦�§jÌ

Í# A¦Ò§\¦XÆ�¥4¡��A¡£��ª9§\Ë�Ê£¦X¢�¥4§\¦Ò�\ �¦:ËA¢�ËQ¥4Ê#§\Ë�Ê£¦X¢V°d®4§Ç§\¦oæQ¦�¯A¡£©w¡`�>Îp«��§�¥��A¢�¡£�\¡£©w¡`�>Îp«�¥���ÈÒ­X®��w�\¦�¯L�\Ë�¥�Ê.­XÊ£®�¢�ËL§\¦]¨�¡£�\ Ò§\¦X¢�¤�¦X­o���\®3� ��]�]]ÌT&�n� á�U ´ � ø � ïAðL�j��ñ î í øÔð � � �Í# �¦��>ÎL¤�¦oÉs§\¦jÈLË�­o�\¡£®��Ò§\Ë�Ê£¦X¢�¥�ʣʣ®j¨ �\®���§�¥4��¢�°h®�§\Æ ¥��Ï®�ÄwÅ�¦X­o��És�>ÎL¤�¦¡£��¥4�+¦=xwËA¡£©�¥4Ê�¦o�w�j«4ÄAËA��¢�ÎA�p��¥4­o�\¡£­j¥�Ê£Ê`Î�¢�¡£ÆǤ�Ê£¦o§j«&�>ÎL¤�¦�Ì��>�]�\ �¡£¢�¢�ËAÄAÉ¢�¦X­o�\¡£®��.«�¨K¦�ÈA¡£¢�­XË�¢�¢Ö�\ A¦"§\Ë�Ê£¦X¢�� £���� ]���% � yM�«Q¥4�QÈo� £���� ]5~�é&¢.�ÌÍ# A¦ � £���� ]5��% � y� §\ËAÊ�¦

brf¬��dAe¬O�{páe¢�Y V Vi£ !¸ÚÑG V ¤'£ ¦ ` `bifQ� � ��]�]ÙÚ ý kOl ï] ñ �

Page 6: A lambda calculus of objects with self-inflicted extension

¥�¢�¢�¦�§��\¢"�\ Q¥&�j«�¡`° ¡£�*¥V�>ÎL¤�¦(�:�\ �¦�ÆǦo�\ A®wÈÇÚ9¡£¢"¥�Ê`§\¦j¥�ÈwÎ9¤A§\¦X¢�¦o�w�¡£�Ò�\ A¦]¡£�w�\¦�§�°¸¥�­o¦+¤�¥4§��j«L�\ �¦X���\ �¦"�ZÎL¤�¦�� � ��]�]ÙÚ:­j¥��ÒÄ�¦�¢�¡�ÆǤAÊ£¡y��¦jÈ�\®��TÌÔÍ# �¦Ö�ZÎA¤�¦ §\¦jÈAËA­o�\¡£®���Å�ËQÈAª�ÆǦX�p�j«�¡£�A¢��\¦j¥�È�®4°.¥]¢�¡£��ª�Ê£¦�¢�¦o�0®�°§\¦o¨Ö§\¡`�\¡£��ª�§\Ë�Ê£¦X¢X«�¡�¢��A¦X­X¦X¢�¢\¥&§�Î2¤L§\¦X­X¡£¢�¦XÊ`Î*Ä�¦X­j¥4Ë�¢�¦�«�¡£�*�\ A¡�¢]§\ËAÊ£¦�«�\ �¦��>ÎL¤�¦��Ò­X¥��ÏÄ�¦�¥4Ê£¢�®�¥b�>ÎL¤�¦]©�¥4§\¡�¥�ÄAÊ£¦�¢�Ì

Í# �¦B� £���� ]�~�é&¢0§\Ë�Ê£¦bif­O�{wáE¢aY V Vi£�¤l£§¦ !sÚÑG V ` `"G{Z

bifBO�{pá�¢�Y V Vi£�¤'£ ¦ !^Ú¬G V ` `a� ��]�]ÙÚ ý kOl ï] ñ O�{wáE¢aY V Vi£ !^Ú3G V ¤l£ ¦ ` `¥�¢�¢�¦�§��\¢��\ �¥4�:¥��®�ÄwÅ�¦X­o��És�>ÎL¤�¦��.«Ö¨� A¦o§\¦��\ �¦�ÆǦo�\ A®wÈ�Ú¬¡£¢�§\¦oÉ¢�¦o§\©f¦XÈ.«&¡£��­o§\¦oÆǦX�p�\¦jÈJ¨�¡`�\ ��\ �¦ÔÆǦo�\ A®wÈÖÚ.«&§\¦jÈLË�­X¦X¢T�\®�¥���®�ÄwÅ�¦X­o��É�>ÎL¤�¦"¨� A¦o§\¦]�\ �¦"ÆǦo�\ �®wÈbÚ:¡£¢�Á�èw¶ ±oµ ¾� �\®b�\ �¦]¡£�p�\¦o§�°¸¥4­X¦�¤Q¥&§��jÌÍ# �¦2§\¦oÆ�¥�¡£��¡£��ª§\ËAÊ�¦o¢Ï¦X�A°h®�§\­X¦ö�\ �¦*­X®��p�\¦o¯w�\ËQ¥4Ê�­XÊ£®�¢�ËL§\¦2®�°ý kOl ï] ñ ÌT&�n� á@U ´ � øÔð � � � � îp� á|� ��³V�Í# �¦�¢�¦��"®4°Ô�>ÎL¤�¦"§\Ë�Ê£¦X¢�°d®4§"Ê�¥4Æ�ÄTÈ�¥+�\¦o§\ÆÇ¢J¥4§\¦�¢�¦XÊ`°hÉ^¦o¯L¤AÊ�¥4�Q¥&�\®�§�Î¥���È: �¦o��­X¦]�\ A¦oÎ:�A¦X¦jÈ:�A®V°dËL§��\ �¦o§ÔÅ�ËA¢��\¡@�Q­j¥&�\¡�®���Ì�Í# A¦B��~&�Mv&¢�u;§\Ë�Ê£¦�¥4¢�¢�¡£ª���¢J�\®Ç¥��Ò¦XÆǤA�ZÎ�®�ÄpÅ�¦X­��"¥4�ϦXÆǤL�>έO�{wá&É^�ZÎL¤�¦�Ì

Í# �¦B��w�y � ]x~�é&¢ ���)� 0§\Ë�Ê£¦bif � G�O�{wáE¢aY V Vi£�¤l£ ¦ ` ` brfQO�{wáE¢aY V Vi£�¤l£ ¦ !sÚÑG V ` `�G{Z

bif � GnO�{wá�¢aY V Vi£A¤'£ ¦ !sÚÑG V ` `¥�¢�¢�¦�§��\¢��\ �¥4��¥4�¬®�ÄpÅ�¦o­o�� Q¥j©w¡��Aªö�ZÎA¤�¦QO�{wáE¢aY V Vi£ ¤L£§¦ ` `�­X¥��¬Ä�¦­X®���¢�¡�ÈA¦o§\¦XÈ�¥�Ê£¢�®*¥�¢b¥���®�ÄwÅ�¦X­o�b Q¥j©w¡£��ª:�ZÎA¤�¦LO�{wáE¢aY V Vi£4¤�£§¦ !^ÚgGV ` `�Ì�Í# A¡£¢�§\ËAÊ£¦Ç Q¥�¢��\®ÒÄ�¦ÇË�¢�¦jÈ*¡��ö­X®��&Å�ËA��­o�\¡£®��ö¨�¡£�\ ö�\ �¦�§\ËAÊ�¦������ � ça¢.�r�¡£��¦X��¢�ËL§\¦X¢T�\ Q¥4��¨#¦0­j¥��+ÈwÎA��¥�ÆÇ¡£­j¥4Ê�Ê`Î"¥�ÈAÈ�°�§\¦X¢� �ÆǦo�\ AÉ®wÈA¢XÌ�Í# �¡£¢�§\Ë�Ê£¦ ­j¥��A��®���Ä�¦#¥�¤A¤�Ê£¡£¦jÈ+¨� A¦X� � ¡£¢��\ �¦0©�¥&§\¡�¥4Ä�Ê£¦JÜ�ÛM��ãQÌ�>�ö°¸¥�­��j«K¥4¢b¦�¯A¤AÊ�¥�¡£��¦jÈ�¡£��÷J¦XÆ�¥4§.-o°wÌ�ø�«Ù�\ �¦Ç�>ÎL¤�¦Ç®�°"Ü4Û���ã*­j¥��®��AÊ`Î�Ä�¦#¥Ö�>ÎL¤�¦0©�¥&§\¡�¥4Ä�Ê£¦�ÌÙÍ# A¡£¢�°¸¥4­o�Ù¡£¢�­o§\Ë�­o¡�¥4Êp°d®�§Ô�\ A¦ ¢�®�Ë���ÈA��¦o¢�¢®�°��\ �¦"�ZÎA¤�¦"¢�ÎA¢��\¦oÆÏÌ

Í# �¦B������ � ça¢. §\Ë�Ê£¦baf �M� G��baf3��d�eÑOM{wáE¢aY V Vi£A¤'£ ¦ !^Ú3G V ` `b�!¢�d�eÑ� � ��]�]0Ú�f �n¡ GI¢ ñ Vbrf Vi� � ��];]VÚQX � ¡ `�G��s� ��]�]0Ú

­j¥4�:Ä�¦�¥�¤A¤�Ê£¡£¦jÈ:¡£�Ò�\ A¦]°d®�Ê�Ê£®j¨�¡£��ª�­j¥4¢�¦X¢=Gø�Ì#¨� �¦X���\ �¦]®�ÄwÅ�¦X­o� � �  Q¥4¢Ö�>ÎL¤�¦ ¾65 à 5 O�{wáE¢�Y V Vi£ !^Ú3G V ¤F£ ¦ ` `�Ì�>��\ A¡�¢Ò­j¥�¢�¦*�\ �¦9ÆǦo�\ A®wÈéÚG¡£¢�¹�º ¼�¾ ¹  ½*¤A§\¦o¢�¦X�p�:¡£�G�\ �¦®�ÄpÅ�¦X­�� � � «�¥���È��\ �¦�Ä�®wÈwÎ�®�°.Ú:¡£¢�·IH ¾o¼�¼ ¶ Â�Âp¾ ³Ç¨�¡`�\ �¥���¦�¨ÆǦo�\ �®wÈ�Ä�®wÈLÎsr

/pÌ#¨� �¦X���\ A¦+®�ÄwÅ�¦X­o� ���  Q¥4¢��ZÎA¤�¦�OM{wáe¢�Y V Vi£�¤'£§¦ !sÚoG V ` `��¸®4§j«ÄpÎ ¥3¤A§\¦X©w¡£®�ËA¢9¥�¤A¤�Ê£¡£­j¥4�\¡£®�� ®�°V�\ A¦ ��� ¼�¾X¿ J�D�µ ¾ ³  ��§\ËAÊ£¦�«O�{wá�¢aY V Vi£�¤l£ ¦ ` `.�ÌK�Z�:�\ �¡£¢�­j¥4¢�¦��\ A¦�®�ÄpÅ�¦X­�� � � ¡£¢ ¾ D�µ ¾ ³ Âp¾�¨�¡`�\ :�\ �¦­�d°�§\¦X¢� sKÆǦo�\ A®wÈ�Ú r°wÌ#¨� �¦X�Ñ��¡£¢J¥b�>ÎL¤�¦�©�¥&§\¡�¥4Ä�Ê£¦�¢�ÌÙ�Z�Ò�\ A¡�¢Ö­X¥�¢�¦ �M� ­j¥��ÒÄ�¦]�\ �¦©�¥&§\¡�¥�Ä�Ê£¦�Ü�Û��4ã¥���È��\ A¦o§\¦�¡£¢�¥�Á ¾ º ± ¿ ¶d³XÕK¶¸´jµ ¾�Â:¾ D�µ ¾ ³AÁ\¶¸·�³�Ì

Í# �¦"Ä�®�Ë���È�°h®�§'¢#¡£¢Ö�\ �¦]¢\¥4ÆǦ�¥�¢Ö�\ �¦����Q¥4ÊT�ZÎL¤�¦"°d®4§J�\ A¦]®�ÄpÅ�¦o­o�Vi�M� ��];]VÚ1X �n¡ `arT�\ �¡£¢"ª�ËQ¥4§�¥4�p�\¦X¦X¢"�\ �¥4�"�\ A¦bÆǦ��\ �®wÈ�Ú�¢�¤�¦X­X¡�¥�Ê`É¡y,X¦X¢�¡`�\¢Ö�>ÎL¤�¦"°d®4§ ¾ H ¾o¼ ½J±�²Lµd² ¼�¾V¾ D�µ ¾ ³AÁ\¶¸·�³�®�° Vi� � ��]�]ÇÚBX � ¡ `�Ì�]12DE�_���,B�����9J½:¶h³�Á »A¾ ´jµd¶d³pÃ9µ�è ¾ ������ � ç�¢ ¼ ²Lº ¾ Áb·�³ ¾ ´\¹�³�Á ¾\¾ç�èw½Ïµ�è ¾ µd½ »A¾ ·�±�Ü�Û���ã¶dÁb¹fº ç0¹�½4ÁV¹�µd½ »A¾ H&¹ ¼ ¶¸¹ À º ¾65B� ³�±�¹f´jµ�µ�è ¾À ·  ½ ��¡ ·�±�µ�è ¾ ³ ¾ çE¹ Â�Âp¾� ü ¾ µ�èL·  ³ ¾\¾� Á+µ¸·�èL¹IH ¾ µd½ »A¾ ¢ ñ V 5ª è ¾o¼�¾ ±o· ¼�¾�� ¶ ± �n¡ ¼�¾� ²L´ ¾ ÁVµ¸·�¹¬H&¹fº ² ¾�� µ�èw¶dÁ�H&¹fº ² ¾ ³ ¾\¾� Ábµ¸· À�¾ ¹º`¹�ü À\ ¹:¹ À Á�µ ¼ ¹�´jµd¶¸·�³¶d³öµ�è ¾ ±o· ¼ ü �TÜ4Û���ã&Y � ¦ ¡ 5�� µ�±o·fºhº`·�çÙÁ�µ�èL¹fµÖ¶d³

¹�Á\Á\¶£Ã�³�¶d³fÃ�µd½ »A¾ µ¸· �6¦ ¡ ç ¾ üb²wÁ�µ]²wÁ ¾ ¹2´\·�³�µ ¾ D�µb´\·�³�µ¸¹�¶d³A¶d³pÃ�µ�è ¾èw½ » ·fµ�è ¾ Á\¶dÁbÜ�ÛM��ã©G;¢ 5j� ¶d³Q´ ¾ ³Q·ÏÁ\² À Á\²Lü » µd¶¸·�³ ¼ ²Lº ¾ ¶dÁ�¹�H&¹�¶¸º`¹ À º ¾µ�è ¾ ·�³�º ½�µd½ »A¾ ç ¾ ´\¹�³ Âp¾� ²L´ ¾ ±o· ¼ Ü�ÛM��ã*¶hÁ�¢ 5Í# A¦ � ê ���)� §\Ë�Ê£¦

baf � GI� baf¬��d�eÑOM{wáE¢aY V Vi£ !^Ú3G V ¤l£ ¦ ` `baf � f Ú¬G V ÷ � ò ¢Zú

¡£¢��\ �¦�¢���¥4�QÈ�¥&§�È:§\Ë�Ê£¦�®��A¦+­X¥���¦o¯L¤�¦X­o�J¡£�9¥V�>ÎL¤�¦�¢�ÎL¢��\¦XÆ ÄQ¥4¢�¦jÈ®��VÆ�¥&�\­� A¡£��ªAÌ�Ø�¦K§\¦=xwËA¡`§\¦#�\ Q¥4�Ô�\ A¦#ÆǦo�\ A®wÈ�¨K¦�¥4§\¦Ö¡£�w©f®I-w¡£��ª�¡�¢¤A§\¦X¢�¦o�w�#¡����\ �¦J¡£�p�\¦o§�°¸¥4­X¦]¤Q¥&§��#®4°��\ �¦�§\¦X­X¡£¤A¡�¦o�w�#®�°��\ A¦�ÆǦo¢�¢\¥�ª�¦�Ì

Í# A¦ � ê �në�� ça¢. ¡£¢��\ �¦"°h®�ʣʣ®&¨�¡£�Aª�Gbif � � GI� baf � ¡ GS�bifQ��dAe3O�{wáE¢aY V Vi£ !^Ú¬G V ¤l£§¦ ` ` baf��#dAeÑ�

baf ê �9ë � �M� !^Ús! �n¡ �G V ÷ � ò ¢ZúÍ# �¦JÊ£¦o°h�\ÆÇ®�¢��K�>¨K®�­X®���ÈA¡`�\¡£®���¢ ¡£���\ A¡£¢ §\Ë�Ê£¦�¦X�A¢�ËA§\¦��\ Q¥4� ÆǦo�\ A®wÈÚ�¡�¢+¡£���\ �¦Ç¡£�p�\¦o§�°¸¥4­X¦�¤Q¥4§��+®4°J�\ A¦Ç®�ÄpÅ�¦X­�� � � «�¨� A¡�Ê£¦��\ �¦Ç®4�\ �¦o§�>¨K®Ç­X®���ÈA¡`�\¡£®���¢�¦X�A¢�ËA§\¦"�\ �¥4� �M� ¡£¢�¥b¤A§\®��\®4�>ÎL¤�¦]®4° ��¡ ÌÍ# A¦§� £���� } �¥���ÈQ� £§��� z .¢���¥4�\¦X¢0¥Ö°d®4§\Æ ®�°��ZÎL¤�¦ ­X®��w©f¦o§\¢�¡£®��.Ì¡`°K¥4�Ï®�ÄpÅ�¦o­o�]­j¥4��Ä�¦]�>ÎL¤�¦jÈÒ¨�¡`�\  V «A�\ A¦X�Ï¡`��­j¥���Ä�¦]�ZÎA¤�¦XÈÏ¥�Ê£¢�®¨�¡`�\ �¥b�>ÎL¤�¦���¦6xpË�¡£©�¥�Ê£¦X�p�Ö�\® V Ì� �ÖïLïAñ í Þ ± �=² � �j� � ðL�w�oð�³Q´f��ñ î í�>���\ �¡£¢]¢�¦o­o�\¡£®��9¨#¦�¤L§\®�¤�®�¢�¦V¥��9¦o¯w�\¦X�A¢�¡£®��9®�° �\ �¦��>ÎL¤�¦+¥�¢�¢�¡£ª��LÉÆǦX�p��¢�ÎL¢��\¦XÆ °d®4§��������� �\®Ç¥4­X­X®�ÆÇÆÇ®wÈA¥4�\¦"¨�¡�Èw�\ AÉ^¢�Ë�ÄL�>ÎL¤�¡£��ªLÌ

�^��¡�¢�¨#¦oÊ�Êh-w��®j¨��×�\ �¥4�Ò¥�ÈAÈA¡£��ª¥�¢�ËAÄ�¢�ËAÆǤA�\¡£®��é§\Ë�Ê£¦�®&©f¦o§�\¦o§\ÆÇ¢X«L�\ Q¥4��¡£¢Ö�\ �¦]§\ËAÊ£¦ � êEó � ô ó � �

brf � G V baf V dAe�brf � GI�

­XÊ£¦j¥4§\Ê`Î:¡��A­o§\¦j¥4¢�¦X¢J�\ A¦�¢�¦o�J®�°Ô¦�¯A¤L§\¦X¢�¢�¡£®��A¢J¨� A¡�­� �¥&§\¦]�>ÎL¤Q¥4Ä�Ê£¦]¡£��\ �¦��>ÎL¤�¦]¢�ÎL¢��\¦XÆÏÌ"ÿ"�L°d®4§��\Ë��Q¥&�\¦XÊ`Îp«��\ A¡�¢Ö§\ËAÊ�¦�¡£¢�²L³AÁ�·�²w³  ¡��Ò�\ �¦¤A§\¦X¢�¦o��­X¦�®�°.®�ÄwÅ�¦X­o� ¦o¯w�\¦X��¢�¡£®�� rw¡£��°¸¥4­o�j«p¨#¦�­X®�Ë�Ê�ÈÑ�¸ÄpÎb¢�ËAÄ�¢�ËAÆǤAÉ�\¡£®��sE��§\¢��0 �¡�ÈL¦�¥]ÆǦ��\ �®wÈ�¡£��¥��Ç®�ÄwÅ�¦X­o�j«L¥4�QÈ��\ �¦o�Ç¥�ÈAÈV¡£�K¥�ª�¥�¡£�¨�¡`�\ �¥b�>ÎL¤�¦]¡£�A­X®�ÆǤ�¥4�\¡£Ä�Ê£¦"¨�¡`�\ :�\ A¦]¤A§\¦X©w¡£®�ËA¢�®���¦�«�¢�¦X¦Ç÷`øf«.ø98júsÌ

Í# A¦o§\¦o°d®4§\¦�«�¡��9®4§�ÈA¦o§]�\®�¡£��­XÊ£Ë�ÈA¦+¢�Ë�Ä�¢�ËAÆǤA�\¡£®��ϧ\ËAÊ£¦X¢]¡£�ö®�ËA§�>ÎL¤�¦0¥�¢�¢�¡£ª��AÆǦX�p��¢�ÎL¢��\¦XÆÏ«o¨#¦0��¦X¦jÈJ�\®J¡£�p��§\®wÈAËA­X¦0¥��A®��\ �¦�§�Ð-L¡£��ÈAÑ®�°Ù®�ÄwÅ�¦X­o��És�>ÎL¤�¦X¢X«A�Q¥4ÆǦXÊ`Î

ánv�µE¢�Y V Vi£�¤l£ ¦ ` `a!Í# �¦öÆ�¥�¡£�EÈA¡@?T¦o§\¦X�A­X¦*Ä�¦o�>¨K¦X¦X�G�\ �¦�O�{wá4És�ZÎA¤�¦o¢:¥4�QÈ�\ �¦2ánv�µ4É�>ÎL¤�¦X¢Ö­X®���¢�¡£¢��\¢�¡£�Ò�\ �¦J°¸¥4­o���\ Q¥4�K�\ �¦ ��� ¼�¾X¿ J"D�µ ¾ ³  �"§\Ë�Ê£¦]­X¥����A®��Ä�¦�¥�¤A¤�Ê£¡£¦jÈb¨� �¦o�V¥���®�ÄpÅ�¦X­o�0 �¥�¢Ô�>ÎL¤�¦�ánv�µ�¢�Y V Vi£ ¤s£§¦ ` `�«�¡`�Ô°d®�ʣʣ®j¨�¢�\ Q¥&�K�\ �¦#�ZÎL¤�¦"á9v�µE¢aY V Vi£¬¤E£§¦ ` `Ô¤�¦o§\ÆÇ¡`�\¢ ¦�¯L�\¦o��¢�¡£®��A¢K®�°�¥4�Ç®�ÄpÅ�¦X­o�®��AÊ£Îb¨�¡`�\ V§\¦X¢�¤�¦X­o�0�\®]�\ �¦ÖÆǦo�\ A®wÈb��¥�ÆǦX¢ÙÊ£¡£¢��\¦jÈV¡£�V�\ �¦#§\¦X¢�¦o§\©�¥4É�\¡£®��9¤Q¥&§�� £§¦ Ì�Í# �¡£¢]¥4¤�¤A§\®�¥�­� ��\®Ç¢�Ë�Ä�¢�ËAÆǤA�\¡£®��:¡�¢�§\¦XÆÇ¡£��¡£¢�­X¦X�p�®�°Ô�\ A¦]®��A¦�¡��2÷£ø=7A«&/�z4úsÌ

Ø2¦�¥4Ê£¢�®VÈA¦a�Q��¦J¥�¢�Ë�ÄLÉ�-w¡£�QÈV®4°��\ A¦h-w¡£�QÈ3Z¬®�°.�>ÎL¤�¦X¢X«f�\¦o§\ÆǦXÈ£ ! � «p¨� �®�¢�¦�¡£�w�\¦o�QÈA¦XÈ�ÆǦX¥���¡£�Aªb¡£¢#�\ �¦�¢�Ë�ÄA¢�¦o��®�°��\ �¦ ¼ ¶£Ã�¶  «.¶ 5d¾65³Q·�³ ¿>¾ D�µ ¾ ³AÁ\¶ À º ¾ �>ÎL¤�¦X¢XÌÍ# A¦o§\¦o°d®4§\¦�«��\ A¦]��¦�¨ ¢�ÎL�p��¥4¯�®4°��>ÎL¤�¦X¢J¥���Ȭ-w¡£�QÈL¢Ö¡�¢�G

V !��íGyG X Y=Y=Y�è�ánv�µE¢aY V Vi£A¤'£ ¦ ` `Y GyG X Z è £ ! � Y

Í# A¦�¢�Ë�ÄA¢�¦o��®�°K§\¡�ª�¡�È*�>ÎL¤�¦X¢"­X®��p��¥�¡£�A¢]�\ �¦�ánv�µ4És�>ÎL¤�¦X¢�¥4�QÈ9¡�¢­XÊ£®�¢�¦jÈ�ËA�QÈA¦�§J�\ A¦+¥4§�§\®j¨ ­X®���¢���§\ËA­o�\®�§jÌ��Z�Ï®�§�ÈL¦o§��\®�¥&¯L¡�®�Æ�¥4�\¡y,X¦�\ �¡£¢Ö¨#¦�¡£�p��§\®wÈAËA­X¦�¥���¦�¨�°h®�§\Æ ®4°QÅ�ËQÈLª�ÆǦX�p�

baf V G £ ! � Y

Page 7: A lambda calculus of objects with self-inflicted extension

Í# �¦Ù¡£�p�\Ë�¡`�\¡£©f¦Ô�>ÎL¤�¡£�AªK§\Ë�Ê£¦X¢.§\¦XÊ�¥4�\¦jÈ"¨�¡`�\ ��\ �¡£¢pÅ�ËQÈLª�ÆǦX�p��¥4§\¦0¤A§\¦�É¢�¦X�p�\¦jÈ�¡£�*�\ A¦ ò ¤�¤�¦X��ÈA¡`¯TÌ�Í# �¦¬� ê�ó � ô ó � � �§\ËAÊ£¦�¡£¢]©�¥�Ê£¡�È*®���Ê`Ψ� �¦o�:�\ �¦��>ÎL¤�¦�¡£�Ï�\ �¦�­o®���­oÊ�ËA¢�¡£®��9¡£¢J§\¡£ª�¡�ÈTÌ��Z��¡�¢J¡£ÆǤ�®�§���¥4�w���\®¤�®�¡£�p�V®�ËA�V�\ �¥4�j« Äp΢�®2ÈL®�¡£��ªL«K¨K¦ÏÈA®é³Q·�µÖ��¦X¦jÈ��\®*¡£�w��§\®wÈLË�­X¦¥��A®��\ A¦o§:¤�¥4§��\¡�¥�Ê�®4§�ÈA¦o§:®��G�>ÎL¤�¦X¢X«�¶ 5h¾65 ¥��G®4§�ÈA¡£�Q¥&§�ÎG¢�Ë�ÄL�>ÎL¤AÉ¡£��ªV§\¦XÊ�¥&�\¡�®���«Q�\®�ÈL¦j¥�Ê.¨�¡`�\ �¢�Ë�Ä�¢�ËAÆǤA�\¡£®��.Ì��0ÎÏ¡£�p��§\®wÈAË�­o¡��AªV�\ �¦¢�Ë�ÄLÉ�-L¡£��È+®4°.§\¡£ª�¡�È��ZÎL¤�¦X¢X«�¨K¦JÆ�¥n-f¦K�\ A¦ÖÆ�¥4�\­� �¡£��ª"§\¦oÊ�¥&�\¡£®��Ç­X®�ÆVɤQ¥&�\¡£Ä�Ê£¦V¨�¡`�\ ¢�Ë�Ä�¢�ËAÆǤA�\¡£®��.«�¥4�QÈ2 A¦X��­o¦�¨K¦Ç­j¥��Æ�¥n-f¦V¡`�+¤�Ê�¥XÎ�\ �¦Ç§\®�Ê�¦Ò®�°J�\ �¦�¨�¡�ÈL�\ AÉ^¢�ËAÄA�>ÎL¤A¡��Aª:§\¦XÊ�¥4�\¡£®���ÌéÍ# A¡�¢�¡�¢b¡£�3¢� �¥4§\¤­X®��w��§�¥4¢���¨�¡`�\ é�\ �¦�Ë�¢�¦X¢V®4°"Æ�¥&�\­� A¡£��ª�¤A§\®�¤�®�¢�¦jÈé¢�®9°¸¥4§V¡��éÊ£¡`��ɦo§�¥&�\ËA§\¦B��÷`ø�øf«�ø6zA«&°4ú>�ÌÖô"¦o��­X¦]¨K¦b­j¥4�Ï¢�Ë�ª�ª�¦X¢��\¡£©f¦oÊ£ÎÏ¢\¥jÎÒ�\ Q¥&��¡£�®�ËL§Ô�>ÎL¤�¦Ö¥4¢�¢�¡�ª���ÆǦX�p�0¢�ÎL¢��\¦XÆ�LZü�¹fµ¸´�èw¶d³fÃb¶dÁÖ¹ ¼�¾ º`¹fµd¶d·�³�·�³:µd½ »A¾ Á´\·�ü » ¹�µd¶ À º ¾ çÙ¶¸µ�èϹ�º ¶dü�¶¸µ ¾� Á\² À Á�²wü » µd¶¸·�³ ¼ ²Lº ¾ P�Ì���hê �;�&���^�oøÔð � � � � îw� � ðL�p�Xð�³B´p��ñ î í�Ô¯L��§�¥�§\Ë�Ê£¦X¢�°d®4§��\ �¦�ánv�µ4És�>ÎL¤�¦X¢�¥4§\¦���¦X­X¦o¢�¢\¥4§�ÎpÌÒõ:®�¢��+®4°#�\ �¦X¢�¦§\Ë�Ê£¦X¢�¥&§\¦V¢�¡£ÆǤ�Ê`Î9¥�§\¦X¤� L§�¥�¢�¡£��ªÒ®�°#�\ A¦b§\Ë�Ê£¦X¢�¤L§\¦X¢�¦X�p�\¦jÈ9¢�®Ò°d¥4§j«§\¦X¤AÊ�¥4­X¡£��ª��\ A¦�Ä�¡£�QÈL¦o§FO�{wá�ÄpÎ��\ �¦"Ä�¡£�QÈL¦o§�ánv�µLÌ

Í# �¦éÆÇ®�¢��*¡£ÆǤ�®�§���¥4�p�9��¦o¨�§\Ë�Ê£¦X¢ö¥4§\¦���Z5u�v � ]����)���«V¥4�QÈ��w�y � � � ¢ � �ÌÍ# �¦B��Z5u�v � ]x���)��#§\ËAÊ�¦brfBO�{wáE¢�Y V Vi£�¤l£ ¦ ` `�G?Z ¢K­X®&©�¥4§\¡�¥��p�J¡£� £ ! £ ¦

bif:á9v�µE¢aY V Vi£�¤l£ ¦ ` `�G?Z¥�¢�¢�¦�§��\¢��\ �¥4��¢�ËAÄ�¢�Ë�ÆǤL�\¡£®��*¡�¢�ËA��¢�®�ËA�QÈ�°d®4§bÆǦ��\ �®wÈA¢" Q¥j©w¡��Aª3¢¡£�b­o®��p��§�¥j©�¥&§\¡�¥4�p�Ù¤�®�¢�¡`�\¡£®���¨�¡`�\ b§\¦o¢�¤�¦X­o�Ô�\®��\ A¦Ö¥4§�§\®j¨�ZÎA¤�¦ ­X®��LÉ¢���§\Ë�­��\®�§jÌÇÍ# A¦o§\¦o°h®�§\¦�«��\ A¦V©�¥4§\¡�¥�ÄAÊ�¦c¢"¡£¢�°d®�§\­o¦jÈ*�\®Ï®p­o­XËA§\¢�®���Ê`έX®&©�¥4§\¡�¥��p�\Ê`Ρ£�¬�\ A¦*ÆǦ��\ �®wÈA¢�®4° £ «J¥��QÈ £ ¦ Ì ô�¦X��­o¦�« À ¶d³Q¹ ¼ ½ü ¾ µ�èw·  Á#¥&§\¦�Ê£®�¢��jÌ Í# �¡£¢�¡£¢X«�ËA�A°d®4§��\Ë���¥4�\¦XÊ`Îp«A¥�­X®�ÆÇÆÇ®���¤A§\¡£­X¦"�\®¤Q¥XÎÇ¡£��®�§�ÈL¦o§Ö�\®b �¥j©f¦"¥�°dËAÊ�Ê`Î�¢���¥&�\¡�­��>ÎL¤�¦"¢�ÎL¢��\¦XÆ ¨�¡£�\ �¢�Ë�ÄL�>ÎL¤AÉ¡£��ªÑ�¸¢�¦o¦Ç÷ 7w«�ø=°A«.ø=:�ú>�Ì

Í# �¦B��w�y � � � ¢ � Ô§\Ë�Ê£¦bif:á9v�µE¢aY V Vi£�¤l£ ¦ ` `�G?Z

bafQO�{wáE¢�Y V Vi£�¤l£ ¦ ` `�dAe9ánv�µE¢aY V Vi£A¤'£ ¦ ` `Ð\¤L§\®�ÆÇ®4�\¦X¢�Ñé¥�°dË�Ê£Ê`ÎwÉ^¢�¤�¦X­X¡�¥�Ê£¡y,j¥�ÄAÊ£¦©O�{wá&É^�ZÎL¤�¦*¡£�p�\®é¥Ê£¡�ÆÇ¡`�\¦jÈLÊ`΢�¤�¦X­X¡�¥4Ê�¡y,j¥4Ä�Ê£¦Çá9v�µ4És�>ÎL¤�¦�Ì#Ø �¦X�:�\ A¦�ÆǦo�\ �®wÈL¢J¡£� £§¦ ¥4§\¦b¥�È�ÈL¦jÈ�\®"�\ A¦Ö®�ÄpÅ�¦X­o�K¥�¢�¢�¡£ª���¦jÈV�\®�¥4��ánv�µ4És�>ÎL¤�¦�«��\ �¦Ö®�ÄwÅ�¦X­o� ¡�� xwËA¦X¢��\¡£®��Ä�¦X­X®�ÆǦX¢eCED ¾� «Q¥�¢J¡£�Ò�\ �¦��"ÄwÅ�¦X­o�"Ó#¥�Ê£­XËAÊ�ËA¢XÌ� � åÙî �@� � �&��ñ î í î � �;�4��³B´ � � ��>���\ �¡£¢Ö¢�¦X­��\¡�®���«L¨#¦�ª�¡�©�¦"�\ �¦J�>ÎL¤�¦X¢Ö®�°��\ �¦"¦�¯�¥4ÆǤ�Ê£¦X¢Ö¤L§\¦X¢�¦X�p�\¦jÈ¢�®�°d¥4§Ù¡£�c2LË�ÄA¢�¦X­o�\¡£®��c/wÌ /Ö�\®�ª�¦��\ �¦o§Ô¨�¡`�\ �¢�®�ÆǦK®4�\ �¦o§F�¸ A®�¤�¦o°hË�Ê£Ê`Î&ÆÇ®��\¡£©�¥4�\¡£��ªb¦o¯A¥�ÆǤAÊ�¦o¢XÌ

Í# �¦Ò®�ÄpÅ�¦X­o�\¢�Ü�Û���ã ÛINfâQ«��&àfàpÛI{ ÛINfâQ«0¥4�QÈã��SR ÛINfâ�«0®4°��Ô¯wÉ¥�ÆǤAÊ£¦X¢�/pÌ£ø"¥4�QÈQ/wÌ /�¥���ÈB/wÌ °�­j¥��ÇÄ�¦Jª�¡£©f¦X�V�\ A¦Ö°d®�ʣʣ®j¨�¡£��ªb�ZÎL¤�¦X¢=GÜ�Û���ã ÛINfâ­GIO�{pá�¢�Y V V Ý�å�å àBGI¢�� ��]�]#à ¤ à­G��&àpâ�` `a!�&àfàwÛI{ ÛINfâ­GIOM{wáE¢aY V V Ý4åfå Ú à­GM¢a� ��]�]ÙÚ ¤ Ú¬GI¢a� ��]�]#à&!>àQG��&àpâ�` `ã��SR Û�Nfâ­GIO�{wáE¢�Y V V ã GM¢�� ��]�]#à&!�ÞfÛ�â ã­G���¢a� ��]�]#à� ñ �jàpâ ¤ à­G��&àpâ�` `aYò ¤�®�¢�¢�¡£Ä�Ê£¦+ÈA¦o§\¡£©�¥4�\¡£®���°d®�§�Ü�Û��4ã ÛINfâÇ¡£¢J¤A§\¦X¢�¦o�w�\¦XÈÒ¡£�Ïó�¡£ª�ËL§\¦L0wÌJ�D�¹�ü » º ¾ ��5>K_ª èw¶dÁ ¾ D�¹�ü » º ¾ Á�èL·�ç0Á"èw·�çE´jº`¹�Á\Á Âp¾ ´jº`¹ ¼ ¹�µd¶¸·�³´\¹�³À\¾ Á�¶hü�²Lº`¹fµ ¾� ¶d³¬µ�è ¾ º`¹�ü À� ¹´\¹fº`´X²Lº ²wÁ:·�±:· Àdÿj¾ ´jµ�¹�³  èw·�ç8²LÁ ¿¶d³fÃ*µ�è ¾ Á ¾ º ± ¿ ¶d³XÕK¶¸´jµ ¾�Â�¾ D�µ ¾ ³AÁ�¶d·�³¬ç ¾ ´\¹�³Ò±o¹�´jµ¸· ¼ ¶y* ¾ ¶d³3¹*Á\¶d³fÃfº ¾Âp¾ ´jº`¹ ¼ ¹fµd¶¸·�³éµ�è ¾�Âp¾ CÙ³�¶¸µd¶¸·�³·�±V¹�èw¶ ¾o¼ ¹ ¼ ´�èw½9·�±�´jº`¹�Á\Á ¾ Á 5 û ¾ µ�µ�è ¾ü ¾ µ�èw·  Ý�åfå Ü�Û�â t áM� À\¾:Âf¾ C0³ ¾� ¹�ÁǶd³jJ"D�¹�ü » º ¾¬KM5���� ¹�³  º ¾ µ²wÁ�´\·�³�Á\¶ Âf¾o¼ µ�è ¾ Á\¶dü » º ¾ ´jº`¹�Á\Á Âf¾ C0³�¶dµd¶¸·�³*·�±��Lá��&àpâ{���fÝpÜfÜ R�Lá��jàpâ����fÝfÜfÜ SU V àpÛ��cX �TÜ�Y V NLX_�TÜ�Û��4ã&Y�®�!�Ý�åfå Ü�Û�â t áM��X Y�Y=Y@``aY

ª è ¾ · Àdÿj¾ ´jµ��Lá��jàpâ����fÝfÜfÜE´\¹�³ À\¾ ²LÁ ¾� µ¸·×´ ¼�¾ ¹�µ ¾ ¶d³�Á�µ¸¹�³�´ ¾ Á�·�±À ·fµ�è » ·�¶h³QµdÁ�¹�³  ´\·fº`· ¼�¾�Â�» ·�¶h³QµdÁ ��À ½Ç²wÁ\¶d³fÃÒµ�è ¾V¾ D »Q¼�¾ Á\Á\¶¸·�³�Á R�Lá��&àfâ����fÝpÜ�ÜLf�àpÛ��2¹�³ Â� �Lá��&àfâ����fÝpÜ�ÜLf�àpÛ��;�f�Ý�åfå Ü�Û�â t áM� 5J"D�¹�ü » º ¾ ��5�� � � ² À Á�²wü » µd¶¸·�³ K � ª èw¶hÁ ¾ D�¹�ü » º ¾ Á�èL·�ç0Á0èL·�ç�Á\² ÀX¿Á\²Lü » µd¶¸·�³ö´\¹�³9¶d³Qµ ¾o¼ ¹f´jµKçÙ¶¸µ�èÏ· Àdÿj¾ ´jµ ¾ D�µ ¾ ³AÁ\¶¸·�³ 5 û ¾ µ R

� ¦ SU á9v�µE¢aY V V N­G��&àpâ ¤ t áM�cGIvwáfáM��` `�S� SU á9v�µE¢aY V V N­G��&àpâ&! t áM�cGIvLáfáI� ¤ ` `Þ SU �?v|Y V v���];] t áM��X_�TÜ�Y �M���4âpÛ�`

¹�³  OLá��jàpâ2¹�³  t áM� OLáM�&àpâ2·�±�µd½ »A¾ � ¦ ¹�³  �S� � ¼�¾ Á »A¾ ´jµd¶>H ¾ º ½ 59J½Vµ�è ¾ µd½ »A¾ ¹�Á\Á\¶£Ã�³�ü ¾ ³Qµ ¼ ²Lº ¾ Á�ç ¾ èL¹�H ¾6RX�fj�S�5dAeh� ¦X�f�Þ­GA� ¦ ñ �A�X�f�Þ'� t áM� OLá��&àpâ�"G{�S�X�fo����ã;Y ã&�>Owá��&àpâ;�f t áI�(X�Xã&� t áM� OLáM�&àpâ��f t áI��pÞ­GIvwáfáM�k ·�µd¶¸´ ¾ µ�èL¹fµ#µ�è ¾ · Àdÿj¾ ´jµ R

����ã;Y ã&�>Owá��&àpâ�ef t áI�(X�Xã&� t áM� OLáM�&àpâ��f t áI��ç0·�²Lº  ³�·fµ À\¾ µd½ » ¹ À º ¾ çÙ¶¸µ�èw·�²Lµ#µ�è ¾ Á\² À Á\²wü » µd¶¸·�³ ¼ ²Lº ¾ Á 5J"D�¹�ü » º ¾ ��5�¨ � � ² À Á�²wü » µd¶¸·�³ � � ª èw¶hÁ ¾ D�¹�ü » º ¾ Á�èL·�çÙÁ�èL·�ç*¹"Á ¾ º ± ¿¶d³jÕK¶d´jµ ¾\Â�¾ D�µ ¾ ³AÁ\¶¸·�³Ç´\¹�³b¶d³Qµ ¾o¼ ¹f´jµ.çÙ¶¸µ�è�· Àdÿj¾ ´jµQÁ\² À Á\²wü » µd¶¸·�³ 5 û ¾ µ R� SU ánv�µ�¢aY V V N G��&àpâ ¤ ` `á SU V t ánO�R NLX �TÜ4Û���ã&Y ��O&Y V Ü�Û���ã'��]�]3NLX_�TÜ�Y Ocf N�``9J½Vµ�è ¾ µd½ »A¾ ¹�Á\Á\¶£Ã�³�ü ¾ ³Qµ ¼ ²Lº ¾ Á�ç ¾ èL¹�H ¾6RX�f:ácGnO�{wá�¢aY V V t ánO�R N­GA� ñ �¸â;� ��]�]FN� ¤ N G��jàpâ�` `X�f:á�f t ánO�R N'� t áM� OLá��&àfâ��GS��!X�f:á�f t ánO�R N'� t áM� OLá��&àfâ�ef t ánO�R Nh�>Owá��&àpâ��GS��!

ç�è ¾o¼�¾ � SU O�{wáE¢aY V V N­G��&àpâ�! t ánO�R N G?� ñ â ¤ ` ` 5ª è ¾ · Àdÿj¾ ´jµ R áof t ánO{R N'�>OLá��&àpâ��f t ánO{R N'� t áM� Owá��&àpâ�ç0·�²Lº  ³�·fµ À\¾ µd½ » ¹ À º ¾ çÙ¶¸µ�èw·�²Lµ#µ�è ¾ Á\² À Á\²wü » µd¶¸·�³ ¼ ²Lº ¾ Á 5

J"D�¹�ü » º ¾ ��5n  � ¡ ·�çÙ³Q´\¹�Á�µd¶d³fÃ=� ª è ¾ Á ¾ º ± ¿ ¶h³jÕK¶¸´jµ ¾�Â�¾ D�µ ¾ ³�Á\¶¸·�³ »A¾o¼o¿ü�¶¸µdÁ]µ¸· »A¾o¼ ±o· ¼ ü ¾ D » º ¶¸´X¶¸µ  ·�çÙ³Q´\¹�Á�µd¶d³fÃ:Á�¶hü » º ½ À ½Çü ¾ µ�èL·  ´\¹fºhº ¿¶d³pà 5£¢ Á\¶dü » º ¾*¾ D�¹�ü » º ¾ ¶dÁ:µ�è ¾ ±�·fºdº`·�çÙ¶d³fà R º ¾ µhOwá��&àpâ�¹�³  ¹t áM� OLá��&àpâ À�¾ · Àdÿj¾ ´jµdÁ�ç0¶dµ�è�ÛIu�äLÝM�*ü ¾ µ�èL·  Á � ´�è ¾ ´aì4¶d³pÃϵ�è ¾ H&¹fº ¿² ¾ ÁK·�± N � ¹�³  N;! t áM� �.¼�¾ Á »A¾ ´jµd¶>H ¾ º ½���¹�³  ¹JÁ ¾ º ± ¿>¾ D�µ ¾ ³AÁ\¶¸·�³Çü ¾ µ�èw· ÂÝ�åfå Ü�Û�â t áM��ü ¾ µ�èL· Ân� ¹�Á »�¼�¾ Á ¾ ³�µ ¾� ¶d³¬J�D�¹�ü » º ¾LKM5���5

X�fQOwá��&àpâ­GIOM{wáE¢aY £ ¹�³  X�f t áM� OLá��&àpâBGnO�{wá�¢aY £ ¦ !ç�è ¾o¼�¾ £ ¹�³  £h¦ ¹ ¼�¾�� ¼�¾ Á »A¾ ´jµd¶>H ¾ º ½V V N G��&àpâ&! ÛIu�äLÝI� GI¢ ñ vwáfáM��!�Ý�å�å Ü�Û�â t áM�cGM¢�� ��]�] t áI� ¤

t áM�cGnvLáfáM��` `V V N­G��&àpâ�!\ÛIu�äLÝI�­GI¢ ñ vLá�áM��!�Ý�åfå Ü�Û�â t áM�cGI¢�! t áM�cG�vLáfáM� ¤ ` `aYª è ¾ ±�·fºdº`·�çÙ¶d³fà ÿ ²  Ã�ü ¾ ³QµdÁ�¹ ¼�¾�Âp¾o¼ ¶>H&¹ À º ¾6R

X�f t áM� Owá��&àpâLf Û�u�äLÝM� G�OM{wáe¢�Y £ ¦ ñ vLáfáM�X�f­OLá��&àfâcf Ý�åfå Ü�Û�â t áM�cGIO�{wáE¢�Y £ � ��]�] t áM� ý�kOl ï] ñ O�{wá�¢aY £ ¦X�f t áM� OLáM�&àpâLf�ÛIu�äwÝM�;�>OLá��&àfâcf Ý�åfå Ü�Û�â t áM��"GIvLáfáI��Y

Page 8: A lambda calculus of objects with self-inflicted extension

b ¡ fÏÜLG�% b ¡ fQ%5d�eÑOM{wáE¢aY V V�¤ àBG��jàpâ�` ` b$¤I!�Ü ¦ G{¥¦f9ø�G��&àpâb ¡ f V Ü���];]ÒàLX �TÜ ¦ Y£ø9`�GM%&� ��]�]Kà

�������

b � f3�TÜ�Y V Ü���]�]:àLX_�TÜ ¦ Y£ø6`FG���% ñ ��%&� ��]�]#à���§h� ô

X�f V `�G���¨ X�f3��d�e��X�f V Ý�åfå àLX �TÜ�Y V Ü���];]�àcX_�TÜ ¦ Y£ø6``FGM� � ��]�]�Ý4åfå à

�������

X�f¬�s� ��]�]�Ý�åfå à ý kOl ï] ñ O�{wáE¢aY V V Ý�åfå àBG�¢a� ��]�]#à ¤ à­G��jàpâ�` `X�f V Ý�åfå àLX_�TÜ�Y V ÜF��]�]ÒàcX_�TÜ ¦ Y£ø9``�GIO�{wáE¢�Y V V Ý�åfå à­GM¢�� ��]�]#à ¤ à­G��&àpâ�` `

� £����

¨� �¦�§\¦�3©¶O�{wá�¢aY V V�¤ Ý�åfå à­GM¢�� ��]�]#à&!�àBG��&àpâ�` `a!ªb � ©�%�dAe1�s� ��]�]JÝ�åfå à&!«b ¡ ©cb � !�ÜLGI%&! ¥4�QȬb ¤ ©(b ¡ !O¥­dAe3%&� ��]�]Kà&!

¥���È��\ A¦ Å�Ë�ÈAª�ÆǦo�w��� ¨ ¡£¢"ÈL¦o§\¡£©�¥4Ä�Ê£¦]ÄpÎ��>¨#®V¥�¤�¤AÊ£¡�­X¥4�\¡£®��A¢�®4°Ô�\ �¦"§\ËAÊ�¦­��w�y � ]�~�é&¢ ���)� �Ìó�¡�ª�ËA§\¦�°�G ò ÈA¦o§\¡£©�¥4�\¡£®��Ò°d®�§]Ü�ÛM��ã ÛIN�â

� � îAð í ï í�� ����î � � ã��Bá@U ´ �¬�U �\� � ³�>�3�\ �¡£¢�¢�¦X­o�\¡£®��¨K¦9¤A§\®&©f¦Ï�\ �¦:­o§\Ë�­X¡�¥4Ê"¤A§\®�¤�¦o§��>Î×®�°�®�ËA§��>ÎL¤�¦¢�ÎL¢��\¦XÆÏ«Ô¶ 5d¾65 Í# �¦X®4§\¦XÆ ùwÌ£ø�ø�«��\ �¦b¢�Ë�ÄpÅ�¦X­o��§\¦XÈAË�­��\¡�®��*�\ A¦X®�§\¦oÆÏÌó�¡`§\¢��V¨#¦Ò��¦X¦XÈ3¥9¢�¦o§\¡£¦X¢V®4°"�\¦X­� ��A¡£­j¥�ÊÖÊ£¦XÆÇÆ�¥&��¥:¨� �¡£­� 3­j¥4�3Ä�¦¤A§\®&©f¦XÈbÄpÎ�­o®�ÆǤ�Ê£¦o¯�¥�Ê£Ä�¦X¡`� ¢���¥���È�¥4§�ÈV¡£��ÈAË�­��\¡�©�¦�¥4§\ª�ËAÆǦX�p�\¢XÌ ò ¢¥V­X®4§\®�Ê£Ê�¥4§�Î9®�°Ù�\ A¦bÍ# A¦X®�§\¦oÆ ùwÌ�ø�ø�«�¨K¦b¢� �¥�Ê£ÊÔÈA¦�§\¡�©�¦��\ A¦�°dË���È�¥&ÉÆǦX�p��¥�Ê�§\¦o¢�Ë�Ê`��®�°#�\ A¦V¤Q¥4¤�¦o§6GV¶ 5h¾65 �\ �¦b�ZÎL¤�¦�¢�®�ËA�QÈL��¦X¢�¢�®4°Ö®�ËL§�>ÎL¤A¡��AªVÈL¡�¢�­o¡�¤AÊ£¡��A¦�Ì

2L¡£��­o¦V¦X©f¦o§�Î:§\¦jÈAËA­o�\¡£®��*¢��\¦X¤2¦XÊ£¡£ÆÇ¡£�Q¥&�\¦X¢]®��A¦V®p­X­XËL§�§\¦X��­o¦�®�°�\ �¦Ò®�¤�¦o§�¥&�\®�§�� ��]�]�«Ö¥4�QÈ3¢�¡��A­X¦Ï�\ �¦�§\¦Ï¥4§\¦��A®2­o§\¡`�\¡£­j¥4Ê"¤Q¥4¡`§\¢X«Ö¡`�°d®�Ê£Ê�®j¨�¢J�\ Q¥4�6G����������� �� ��(®)��� ª è ¾ µd½ »A¾X¿s¼�¾� ²L´jµd¶¸·�³Mbaf V ý kOl ï] ñ �ǶdÁÖý�èw² ¼ ´�è ¿� ·�Á\Á ¾o¼ ¹�³ Â�� µ ¼ ·�³fÃfº ½ k · ¼ üV¹�º ¶+*o¶d³pà 5

�>�*�\ �¦b°h®�ʣʣ®j¨�¡��Aª�¨#¦�¨�¡£Ê£Ê��A§\¢���­X®��A¢�¡�ÈA¦o§�¤L§\®p®�°#�\ A¦V¢�Ë�ÄpÅ�¦X­��§\¦jÈLË�­o�\¡£®��V�\ A¦X®�§\¦oÆD°d®4§K�\ A¦ » º`¹�¶d³��>ÎL¤�¦�¥�¢�¢�¡£ª��AÆǦX�p�K¢�ÎL¢��\¦XÆ ��®4�­X®��w��¥4¡£��¡£��ªV¢�ËAÄA�ZÎA¤A¡£��ªAÌ

�>�3�\ �¦:¢���¥&�\¦XÆǦX�p�V®4°"�\ A¦Ò°d®�Ê£Ê�®j¨�¡£��ª¤L§\®�¤�¦o§��\¡£¦X¢�¥4�QÈé�\ �¦X®4ɧ\¦XÆÇ¢X«A¨#¦�¨�¡£Ê�Ê�ÈA¦X�A®��\¦�ÄpÎr§ ¦o¡£�\ A¦o§ �Sg «Q®�§ V G<Z�«�®4§ V d�e��T«Q®4§V ý kOl ï] ñ �T«L®�§ � G V ̯°12D±DE�i®)�*� � ¶ � � ±5bafj§ � µ�è ¾ ³rbrf �Sg K� ¶d¶@�*¶ ±5b�!¢�d�eÑ��!.b ¦ f �Sg&� µ�è ¾ ³jbif¬�QG?Z 5�����)��4.8h�K®4�\ �¤�®�¡£�p�\¢�­j¥4��Ä�¦V¦j¥4¢�¡�Ê`Î2¤A§\®&©f¦jÈ9ÄpÎö¢���§\ËA­o�\ËA§�¥4Ê ¡£�LÉÈAËA­o�\¡£®��Ò®��:�\ A¦�ÈA¦o§\¡£©�¥4�\¡£®��:®�°�Å�ËQÈAª�ÆǦX�p�\¢XÌ ²³�>���\ �¦]¢�¦=xwËA¦Xʸ«A¨K¦�Æ�¥�-f¦"Ë�¢�¦]®4°Ô�\ �¦"°h®�ʣʣ®&¨�¡£�AªÒ¥4Ä�ÄL§\¦X©w¡�¥&�\¡£®���¢=G

q b¦f*Ú | q �i�&J¢���¥���ÈA¢�°d®4§3bmf���dAe3O�{wáE¢aY V V�¤M£ !sÚ^G V ` `�«°d®4§"¢�®�ÆǦ £ ! V Ìq b´f V ý�kOl ïX V ¦ ¢���¥4�QÈL¢�°h®�§hbµf V ý kOl ï] ññ V ¦ ¦ «�¥��QÈ�bµfV ¦ ý�kOl ï] ññ V ¦ ¦ «�°h®�§+¢�®�ÆǦ V ¦ ¦ ÌÇô"¦�§\¦ ý kOl ï] ññ ¡�¢��\ A¦���§�¥��A¢�¡£�\¡£©f¦­XÊ£®�¢�ËL§\¦+®4° ý�kOl ï] ñ Ì

¯°12D±DE�i®)�*B � ±�baf�Ú | q �i� � ��]�]Kà� � µ�è ¾ ³rbafbÚ | q �i�� 5�����)��4.8��0Î:¡£��¢�¤�¦o­o�\¡£®��Ï®��:�\ �¦�ÈL¦o§\¡£©�¥&�\¡£®��Ï®4°

bafQ� � ��]�]#à5dAe3O�{pá�¢�Y V V�¤I£ !^Ú3G V ` `aY ²³

¯°12D±DE�¶®��¸· � ±hb¹f Ú | q �i���¹�³  bºf � ý kOl ï] ñ V � µ�è ¾ ³bif�Ú | q � V 5�������_4.8 � ά¢���§\ËA­o�\ËA§�¥4Ê"¡£�QÈLË�­o�\¡£®��®��¬�\ A¦9ÈA¦o§\¡£©�¥4�\¡£®��¬®�° b»f� ý�kOl ï] ñ V Ì Í# �¦*¡£�QÈAËA­o�\¡£®��E pÎL¤�®��\ �¦o¢�¡�¢Ò��¦X¦XÈA¢Ò�\®éÄ�¦ö¥�¤A¤�Ê£¡£¦jÈ®��AÊ£Î9¡£�9�\ �¦b­j¥�¢�¦V®4° §\ËAÊ£¦3� £���� ]5� � � � yA��¢�Ì�ØG �¦o�*­o®���¢�¡�ÈL¦o§\¡£��ª�\ �¦K§\ËAÊ£¦X¢l� £���� ]5��% � y��«�� £���� ]5~�é&¢.�«�¥���Ȭ� £���� ]x� � � � yA�i¢.�®���¦��¦X¦XÈA¢Ö�\®Ç¥�¤A¤�Ê`άæ�¦XÆÇÆ�¥+ùLÌ °wÌ ²³¯°12D±DE�¶®��*¼ � ±5bif V d�e�� � · ¼ bif V ý kOl ï] ñ � � µ�è ¾ ³rbif V G{Z �¹�³  bif¬�QG?Z 5�������_4.8(� Î�¢���§\Ë�­o�\ËL§�¥�Ê#¡£�QÈLË�­o�\¡£®��3®���\ �¦ÒÈA¦o§\¡£©�¥4�\¡£®��A¢�®�°�b½fV dAe1�.«�®4§ab¾f V ý k¿l ï] ñ �.Ì �>�G®�§�ÈL¦o§��\®éÈA¦j¥4Ê"¨�¡`�\ �\ �¦�§\Ë�Ê£¦� £���� ]5� � � � yS�i¢�«A®���¦��A¦X¦jÈA¢Ö�\®Ç¥4¤�¤Aʣάæ.¦XÆÇÆ�¥bùwÌ :AÌ ²³¯°12D±DE�¶®��*® � ±5b�!¢�d�eÑ��!Qb ¦ fj§ � ¹�³  baf V d�e�� � µ�è ¾ ³b�!.¢�dAe V !Qb ¦ fj§ 5�������_4.8 Í# �¦�¤L§\®p®�°Ù¡£¢�¡£ÆÇÆǦjÈA¡�¥4�\¦�Ì ²³¯°12D±DE�¶®���À±+.-@/$Á7�=�= ��/$�� ��76 � ¶@� � ±°be!¢�dAeÑ��!Ob ¦ f�§ � ¹�³ Âbif V dAe1� � µ�è ¾ ³rbe!Qb ¦ ÷ V ò ¢Zúfj§b÷ V ò ¢^ú 5� ¶d¶@� � ±Cbe!éTG V !Qb ¦ f � G�� � ¹�³  b«f � ¦ G V � µ�è ¾ ³be!Qb ¦ f � ÷ � ¦�ò éAúPG�� 5�������_4.8�� Î2¢���§\ËA­o�\ËA§�¥4ÊK¡£�QÈLË�­o�\¡£®���®��2�\ A¦�ÈA¦o§\¡£©�¥4�\¡£®��®4°�Å�Ë�ÈAª�ÉÆǦX�p��be!¢�dAeÑ��!.b ¦ f¶§ °d®4§�¤�®�¡£�p�L�¸¡>Ö®�§&be!éjG V !.b ¦ f � G;�:°d®�§¤�®�¡£�p�(�¸¡�¡��Ì ²³

¯°12D±DE�¶®��* � ¶@� � ±7bafBO�{páe¢�Y V Vi£L¤�£ ¦ ` `a� ��]�]Kà � Y=Y�Y=� ��]�]#à I ý kOl ï] ñOM{wáe¢�Y V Vi£§¦ ¦M¤'£§¦ ¦ ¦ ` `a� ��]�]#à ¦ � Y=Y=Y=� ��]�]Kà ¦ I=à µ�è ¾ ³VÚ3G V ¦ | £h¦ ¦ ! £§¦ ¦ ¦¶ ±�¹�³  ·�³Qº ½Ï¶ ±�µ�è ¾o¼�¾Ï¾ D�¶dÁ�µdÁ V Á\²L´�è�µ�èL¹fµ R ÚgG V | £ ! £h¦¹�³  b�!¢�dAe3O�{pá�¢�Y V Vi£�¤l£ ¦ ` `a� ��]�]Kà � Y=Y�Y=� ��]�]#à I f V ý kOl ïX V ¦ K

� ¶d¶@� � ±Äb f O�{wá�¢aY V Vi£ ¤ £ ¦ ` `a� ��]�]#à � Y=Y=Y�� ��]�]#à I ý kOl ïXOM{wáe¢�Y V Vi£§¦ ¦�¤§£§¦ ¦ ¦ ` `a� ��]�]Kà ¦ � Y=Y�Y=� ��]�]#à ¦ I=à ¹�³  کG V ¦ | £h¦ ¦ ! £§¦ ¦ ¦µ�è ¾ ³ µ�è ¾o¼�¾¾ D�¶dÁ�µdÁ V Á\²L´�è8µ�èL¹�µ R Ú G V | £ ! £§¦ ¹�³ Âbe!¢�dAe3O�{wáE¢�Y V Vi£�¤l£ ¦ ` `a� ��]�]#à � Y=Y=Y�� ��]�]#à I f V ý kOl ïX V ¦ 5

�������_4.8'�K®4�\ 2¤�®�¡��p�\¢]­X¥��2Ä�¦b¤A§\®&©f¦jÈ�ÄpÎ9¢���§\Ë�­��\ËA§�¥�ÊÔ¡£��ÈAË�­��\¡�®��®����\ �¦]ÈL¦o§\¡£©�¥&�\¡£®���Ì0Í�®VÈA¦X¥�Ê�¨�¡`�\ ��\ A¦���§�¥��A¢�¡`�\¡�©�¦]­XÊ£®�¢�ËL§\¦]®�°��\ �¦Æ�¥4�\­� �¡£��ª+§\¦XÊ�¥4�\¡£®��.«�¡`��¡£¢��A¦X­X¦X¢�¢\¥&§�ÎÒ�\®VËA¢�¦�æ�¦oÆÇÆ�¥bùwÌ ùwÌ ²³

Page 9: A lambda calculus of objects with self-inflicted extension

¯°12D±DE�i®)�*Å � ±�baf¬��dAe3O�{wáE¢aY V V�¤M£ !sÚÑG V ` ` � ¹�³ ÂbafQ��dAe3O�{wá�¢aY V V�¤M£ ¦ !^Ú3G V ¦ ` ` � µ�è ¾ ³hb�!¢�d�eÑ�]f V ý kOl ïX V ¦ 5�����)��4.8ÖÍ# �¦�Ê£¦XÆÇÆ�¥V°h®�ʣʣ®&¨�¢+¡£ÆÇÆǦjÈA¡�¥&�\¦XÊ`Î:°h§\®�Æ æ�¦oÆÇÆ�¥�¢]ùwÌ 7L«¥���È:ùwÌ 8Ñ�d�\ A¦]¢�¦X­X®��QÈÏÊ£¦XÆÇÆ�¥�¡�¢J��¦o¦jÈA¦jÈ�¨� �¦X�1��¡£¢�¡£�:�\ A¦"°d®4§\Æ¢a� ��]�]Kà � Y�Y=Y6� ��]�]#à<IM�Ì ²³¯°12D±DE�i®)���<Æ � ±�bif � GM� � µ�è ¾ ³jbifQ�¬G?Z 5�����)��4.8��0Î ¢���§\ËA­o�\ËA§�¥4ÊE¡���ÈAËA­o�\¡£®�� ®�� �\ A¦ ÈA¦�§\¡�©�¥4�\¡£®�� ®�°baf � GM�.«LË�¢�¡£��ª æ�¦XÆÇÆ�¥+ùLÌ 8wÌ ²³ó�¡£�Q¥4Ê�Ê`Îp«AË�¢�¡£��ªb�\ �¦�¥4Ä�®4©�¦�Ê�¦oÆÇÆ�¥4��¥+¨K¦�­j¥��Ò¦X¢���¥�ÄAÊ£¡�¢�  GÇ È 1<����1HDÉ®������E+.-@/$Á@;G12>?�]�]120'/'>?�= ���6 � ± bÊf � G V � ¹�³ Â� ï)ðñ � ¦ � µ�è ¾ ³jbif � ¦ G V 5�����)��4.8 Ø�¦+¤A§\®p®4° �\ �¥4�"�\ A¦��>ÎL¤�¦�¡�¢"¤A§\¦X¢�¦o§\©�¦jÈ�ÄwÎ:¦j¥�­� 9®�°0�\ �¦°d®�ËA§Ù§\¦jÈLË�­o�\¡£®��b§\Ë�Ê£¦X¢XÌÙ�>�+�\ �¦Ö­j¥4¢�¦�®�°��\ �¦��iî � ¢Â$;.§\Ë�Ê£¦#�\ A¦Ö¤A§\®p®�°°d®�Ê£Ê�®j¨�¢�¦j¥4¢�¡�Ê`Î3ÄpÎ�\ �¦32LËAÄ�¢��\¡`�\ËA�\¡£®��gæ�¦oÆÇÆ�¥LÌ�Z�3�\ A¦Ò­j¥4¢�¦Ï®�°�\ �¦�� ê �9ë>� ç�¢V§\ËAÊ�¦9�\ �¦9¤L§\®p®�°b¡�¢:¡�ÆÇÆǦXÈA¡�¥4�\¦�Ì8�Z��\ �¦*­j¥�¢�¦*®�°�\ �¦1� êEó çaç9"§\Ë�Ê£¦�®��A¦Ç��¦X¦jÈ*�\®�­X®��A¢�¡�ÈL¦o§+�\ �¦�ÈA¦o§\¡£©�¥4�\¡£®��2®�°��\ �¦Å�Ë�ÈAª�ÆǦX�p�6GËb�f ê �9ë � Vi� � ��];]VÚ3X � ¡ `a!sÚ ! � FG V Ì�Í# �¡£¢ÔÅ�Ë�ÈAª�ÆǦo�w�Æ�ËA¢���Ä�¦�ÈA¦o§\¡£©f¦XÈ2ÄpÎ2¥4�é¥�¤A¤�Ê£¡£­j¥4�\¡£®��é®4°Ö�\ �¦1� ê �9ë>� ç�¢.�§\ËAÊ�¦1�¸¡£�­j¥4¢�¦Ò°d®�Ê£Ê�®j¨K¦jÈ×ÄpÎ�¢�¦o©f¦o§�¥�Ê�¥4¤�¤AÊ�¡£­j¥&�\¡£®��3®�°J�\ �¦o��w�y � ]5~�é&¢ ���)� ¥���È©� £���� Ù§\ËAÊ£¦X¢a�ÌÙØ�¦� Q¥j©f¦��\ �¦o§\¦o°h®�§\¦IGbaf ê �9ë � Vi�M� ��]�]�Ú­X �n¡ `a!^Ú ! � "G V ÷ � ò ¢Zús«baf Vi� � ��]�]�Ú­X � ¡ `�G��.«HbafQ��dAe¬O�{wá�¢aY V Vi£ !sÚ3G V ¤'£ ¦ ` `�«baf � GS��«�¥4�QÈrbrf��#dAeÑ�.ÌÍ# �¦ÇÅ�Ë�ÈAª�ÆǦX�p�ab¹f Vi�M� ��];]VÚ X �n¡ `�G��ÆbË�¢��ÒÄ�¦�ÈL¦o§\¡£©f¦jÈÄpÎ9¥��2¥�¤A¤�Ê£¡£­j¥4�\¡£®��ö®�° �\ �¦Ñ�����)� � ça¢.J§\ËAÊ�¦¬�¸¡£�ö­j¥4¢�¦V°d®�Ê�Ê£®j¨#¦XÈ2Äp΢�¦X©f¦�§�¥�ÊÔ¥4¤�¤�Ê£¡£­j¥&�\¡�®��ö®4°Ù�\ �¦Q��w�y � ]�~�é&¢ ����� Ö¥���ÈA� £���� #§\ËAÊ£¦X¢a�ÌØ�¦� �¥j©f¦"�\ �¦�§\¦o°d®4§\¦IG�baf Vi� � ��]�]ÇÚBX � ¡ `�G�� ¦ � ��]�]0ÚT«bif � � G�� ¦ «b�fo� ¦ dAe3O�{wáE¢�Y V Vi£ ¦ ¦ ¤h£ ¦ ¦ ¦ !^ÚoG V ¦ ¦ ` `�«T¥4�QÈib�!¢�d�eÑ� ¦ � ��]�]0Úrf �n¡ G¢ ñ V ¦ ¦ Ì��Z�Ò°d®�Ê�Ê£®j¨�¢��\ Q¥&�abÌf � ¦ � ��]�]0Ú�dAe1� � ��]�]ÙÚ�¥4�QÈ°h§\®�Æ�\ �¡£¢X«ÖÄpÎ��§�¥4��¢�¡`�\¡£©L¡`�ZÎ×®4°]�\ �¦:Æ�¥4�\­� �¡£��ª*§\¦XÊ�¥4�\¡£®��.«�� £���� ]�~�é&¢.¥���È©����$�¢Âç=� ] £���� } K§\ËAÊ£¦X¢=Gb±fj� ¦ � ��]�] Ú�d�e¬O�{wá�¢aY V Vi£h¦ ¦ !^ÚjG V ¦ ¦�¤§£h¦ ¦ ¦ ` `�Ì(�0ÎÏ�\ �¦cæ�¦XÆÇÆ�¥ÇùwÌ <®��A¦Ò­X¥��3ÈA¦o§\¡£©f¦XÈ�\ �¥4�%b�!¢�d�e��,f V ý kOl ïX V ¦ ¦ «0�Z�b°d®�Ê�Ê£®j¨ �\ Q¥&�6Gb�!)¢�dAej��f �n¡ G ¢ ñ V ¥���È2ÄpÎ9�\ �¦Q2LËAÄ�¢��\¡`�\ËA�\¡£®��Aæ�¦oÆÇÆ�¥�¨#¦­j¥4�¬¦j¥4¢�¡�Ê`Î×­X®��A­XÊ£ËQÈL¦Ï�\ �¦:¤L§\®p®�°ZÌ �Z�3�\ A¦Ï­j¥4¢�¦�®�°]�\ A¦A�iõ � é&¢.§\Ë�Ê£¦X¢�®���¦���¦o¦jÈ��\®�°h®�ʣʣ®j¨�¢]¥�¢�¡£ÆÇ¡£Ê�¥4§J¤Q¥&���\¦o§\��Ì ²³Í# �¦"¤A§\®p®�°�®�°�¢�ËAÄwÅ�¦X­o��§\¦jÈLË�­o�\¡£®���°d®4§��\ �¦"�ZÎA¤�¦"¥�¢�¢�¡£ª��AÆǦX�p��¢�ÎL¢�É�\¦XÆ ¨�¡£�\ Ò¢�Ë�ÄL�>ÎL¤�¡£��ª�°h®�ʣʣ®&¨�¢�¥b¢�¡£ÆÇ¡£Ê�¥4§�¤�¥4���\¦o§\�.Ì ò Ê£ÊQ�\ �¦"¥�ËA¯L¡£Ê`É¡�¥4§�Î:Ê�¦oÆÇÆ�¥4��¥V¥&§\¦b©�¥�Ê£¡�ÈÏ¡£�Ï�\ �¦��>ÎL¤�¦�¥�¢�¢�¡£ª���ÆǦX�p��¢�ÎA¢��\¦oÆ ¨�¡`�\ ¢�Ë�ÄL�>ÎL¤�¡£�AªA«&¥4�QÈ"�\ �¦�§\¦o¢�¤�¦X­o�\¡£©f¦0¤A§\®p®�°h¢�­j¥4��Ä�¦Ù¢���§�¥�¡£ª� p��°d®4§�¨Ö¥&§�ÈAÊ`Φo¯w�\¦X��ÈA¦jÈTÌ0õ:®�§\¦X®&©f¦�§J¨K¦� Q¥j©f¦IG¯°12D±DE�i®)���2� � ±�bifQ��dAe9ánv�µE¢�Y V V�¤M£ !^Ú3G V ` ` � ¹�³ Â��b�f��#dAe9ánv�µE¢aY V V�¤M£ ¦ !^Ú�G V ¦ ` `'Íhb�f1��dAe3O�{wá�¢aY V V�¤M£ ¦ !^Ú1G V ¦ ` `. �µ�è ¾ ³jb�!)¢�dAe1�3f V ý kOl ïX V ¦ 5

�>�Ò¤A§\®&©w¡��Aª+�\ A¦�2LËAÄwÅ�¦X­o�F÷J¦jÈLË�­o�\¡£®��:Í# �¦X®4§\¦XÆÏ«L®��A¦]��¦X¦XÈ��\®­X®���¢�¡�ÈA¦o§Ô�\ A¦K­j¥4¢�¦#¨� �¦o§\¦�«�¡£�b�\ A¦#ÈL¦o§\¡£©�¥&�\¡�®���®4°��\ �¦ �>ÎL¤�¡£��ª�Å�ËQÈAª4ÉÆǦX�p�j«w�\ �¦o§\¦�¥&§\¦�¥�¤A¤�Ê£¡£­j¥4�\¡£®��A¢"®4°Ô�\ �¦ � êEó � ô ó � � §\Ë�Ê£¦�Ì �>�Ò�\ A¡£¢­j¥4¢�¦]¡`�Ö¡£¢Ö¢�Ë�pÇ­X¡£¦X�p�#�\®+®�ÄA¢�¦o§\©f¦J�\ Q¥4�Ö¥4°h�\¦�§Ö�\ �¦]¥4¤�¤AÊ�¡£­j¥&�\¡£®��:®4°Ô¥� êEó � ô ó � � �§\Ë�Ê£¦ ��®�°hËA§��\ A¦o§Ù¥�¤A¤�Ê£¡£­j¥4�\¡£®���®�°A�\ �¦h��w�y � ]5~�é&¢ ���)� §\Ë�Ê£¦]¡£¢J¤�®�¢�¢�¡£Ä�Ê£¦�ÌØ�¦ ­X®��A­XÊ£ËQÈL¦ �\ �¡£¢�¢�¦o­o�\¡£®���ÄpÎ�¢� A®j¨�¡��Aª"�\ �¦Ù�>ÎL¤�¦ ¢�®�Ë���ÈA�A¦X¢�¢��\ �¦�É®�§\¦oÆÑr��\ �¡£¢]¨�¡£Ê£Ê ª�ËQ¥&§�¥��p�\¦X¦V�\ Q¥&��¦X©f¦�§�Îö­oÊ�®�¢�¦jÈ�¥4�QÈ�¨#¦XÊ£ÊÙ�>ÎL¤�¦jȦo¯L¤A§\¦o¢�¢�¡�®�� ¨�¡£Ê£Ê���®��9¤L§\®wÈAËA­X¦ö�\ A¦�Ú�ÛwÜ�Ü�Ý�ÞpÛpß&àLá�âwß�ãpá4äfàpåE§\Ë��LÉ�\¡£ÆǦ]¦o§�§\®4§jÌ�Í# �¡£¢J¦o§�§\®�§"¥4§\¡£¢�¦X¢J¨� �¦X�A¦X©f¦o§�¨#¦�¢�¦j¥&§\­� 9¥VÆǦo¢�¢\¥�ª�¦Ú�¡£�p�\®�¥��V¦�¯A¤L§\¦X¢�¢�¡£®����\ �¥4� ÈA®p¦o¢ �A®��Ô§\¦jÈLË�­X¦#�\®�¥4�V®�ÄpÅ�¦o­o� ¨� A¡£­�  Q¥4¢Ö�\ �¦]ÆǦo�\ A®wÈ�Ú:¡£�Ï¡`�\¢�¡£�p�\¦o§�°¸¥4­X¦�Ì

Îj1�Ï��' �= ��¦®����<B ¡ ¾ C0³ ¾ µ�è ¾ Á ¾ µ#·�±F�M{wá4àpÞöµ ¾o¼ übÁ�¹�ÁÙ±o·�ºdº`·�çÙÁ R��{wá4àfÞ�G+G X ê �9ë � V `a!sÚ ! � �è ê �9ë ����;éPY � �!sÚ ! � ¦ �è ê �9ë ��ç�!^Ús! �

� Î�¥�ÈA¡`§\¦X­o�K¡£��¢�¤�¦X­o�\¡£®��Ò®4°��\ A¦J�ZÎA¤A¡£��ª]§\Ë�Ê£¦X¢ °d®�§K�\¦o§\ÆÇ¢X«p®��A¦"­j¥4�¡£ÆÇÆǦjÈA¡�¥4�\¦oÊ£Î*¢�¦X¦V�\ �¥4���\ Q¥&����{wá4àfÞ*­X¥����A®��+Ä�¦��ZÎA¤�¦XÈ.Ì�ô"¦o��­X¦�«�>ÎL¤�¦Ù¢�®�ËA�QÈA�A¦X¢�¢�°h®�ʣʣ®j¨�¢Ù¥�¢Ô¥Ö­X®4§\®�Ê£Ê�¥4§�Î�®�°L�\ �¦Ù¢�ËAÄwÅ�¦X­o��§\¦XÈAË�­��\¡�®���\ �¦X®4§\¦XÆÏ«.¶ 5d¾65 G: �����F�F �H�AÐ�®�����·�+ Ç Ð@��1¶-)�/'�'0'�@1H���A6 � ±�X�f � GM� � µ�è ¾ ³� öñï)ðñ ��÷ ��{pá4àpÞpú � çÔè ¾o¼�¾ ��÷�ú0¶dÁ�¹�à ¾ ³ ¾o¼ ¶¸´b´\·�³�µ ¾ D�µ ¶d³­���(�)����¶ 5d¾65¹Òµ ¾o¼ ü çÙ¶¸µ�è�¹�³ÑL¸èL·fº ¾ P�¶d³�Á\¶ Âp¾ ¶¸µ 5Ò Ó � ðMÞ)Ô íM� Ó � � U ñ í � ã��¬± ��² � �&��åÙ� � ��ð � ðw��>�3÷ /�z�úÔ¨K¦Ç¥4§\¦b¤A§\¦X¢�¦X�p�\¦jÈ�¨�¡`�\ 2¥B��§\¢���É^®�§�ÈL¦o§]¦�¯L�\¦o��¢�¡£®��*®�° �\ �¦�"ÄwÅ�¦X­o�ÇÓ#¥�Ê£­XË�Ê£ËA¢�®�° ò ÄQ¥�ÈA¡#¥4�QÈÓ#¥&§�ÈA¦Xʣʣ¡���÷`øoú>"�\ Q¥4�b¢�Ë�¤A¤�®�§��\¢ÆǦo�\ �®wÈ�¦o¯w�\¦X��¢�¡£®��Ï¡£�:¤A§\¦o¢�¦X��­X¦�®4°Ù®�ÄpÅ�¦X­���¢�ËAÄ�¢�ËAÆǤA�\¡£®��.Ì

Ø2¦0­o®��4Å�¦X­o�\ËL§\¦0�\ �¥4�j«j¨�¡`�\ +¥�Ê£¡`���\Ê£¦K¦�?T®4§��j«j�\ �¦Ù�>ÎL¤�¦Ô¢�ÎL¢��\¦XÆ�®�°���(�)��� ­X®�Ë�Ê�ÈÏÄ�¦+¥�È�¥4¤A�\¦jÈ:�\®Ç�\ A¦+¦�¯L�\¦o�QÈA¦XÈ1�"ÄwÅ�¦X­o�]Ó#¥�Ê£­XËAÊ�ËA¢X«®�°�­X®�ËL§\¢�¦Ç��¥�-w¡£��ª9¡£�w�\®9¥4­X­X®�Ë��p�b�\ �¥4�b®�ÄpÅ�¦X­��\¢Ç¥4§\¦�¢�¦o�b®�°J¤Q¥4¡£§\¢¡£��¢��\¦j¥�ÈV®�°.Ê£¡�¢��\¢0¡£�Q���(�)���bÌÔ�>�V®4§�ÈA¦o§0�\®�¥�ÈA¥�¤L�0�\ A¦#�>ÎL¤�¦Ö¢�ÎL¢��\¦XÆ®�°"�������� �\®��\ �¦"¦o¯w�\¦X�QÈL¦jÈ3�"ÄpÅ�¦o­o�"Ó#¥�Ê£­XË�Ê£ËA¢J¨K¦���¦X¦jÈ��\®�G

q §\¦oÆÇ®4©�¦"�\ �¦ � ê �9ë>� ç�¢0§\Ë�Ê£¦Irq ¥�È�È�\ �¦�°d®�Ê�Ê£®j¨�¡£��ª������)� � ça¢.�§\ËAÊ£¦:¡£�×®4§�ÈA¦o§��\®öÄAË�¡£Ê�È3¥4�®�ÄwÅ�¦X­o�J°h§\®�Æ ¢�­o§�¥4�\­� |Gæ.¦o�h�]©¶O�{wáE¢aY V Vi£�¤l£ ¦ ` `aGb�!¢�dAeÑ��! ô GM¢�f �AÕ G V Õ Ú Õ G V Õ | £ Ö � | �brf V Ú Õ Xc×I� ô Õ GM¢�d�eÑ�� � Õ ` Õ�Ø?Ù GIO�{wáE¢�Y V Vi£�¤'£ ¦ ` `

q ÆÇ®wÈL¡`°hÎ��\ �¦­�����)� � ça¢. §\Ë�Ê£¦�¥4¢�°h®�ʣʣ®j¨�¢=Gbif �M� G��bif¬��d�eÑOM{wáE¢aY V Vi£�¤l£ ¦ !^Ú3G V ` `b�!¢�d�e��s� ��]�]ÙÚ ! ô G�¢�f �n¡ G V

baf �M� Y Ú���];]h×M� ô G�¢�dAe1� � ��]�]ÔÚ� �n¡ G�� � ��]�]ÔÚÚ ø �M� ��� � ïÒ� í ï�Ûwðp��ðL� �]o îw��Ü��2L¦X©�¦o§�¥�ÊT­j¥4Ê�­oË�Ê£¡�¤L§\®�¤�®�¢�¦XÈÒ¡£�:Ê£¡`�\¦o§�¥4�\ËL§\¦]­X®�Æ�Ä�¡£�A¦"®�ÄpÅ�¦o­o�J¦o¯w�\¦X�AÉ¢�¡£®��Ϩ�¡`�\ Ï®�ÄpÅ�¦o­o�\¢�¢�ËAÄ�¢�ËAÆǤA�\¡£®��o��÷ /n:�«.ø67w«�/nzA«;:L«�/n°�ú>�Ì

�Z�÷ /9:fús«T¡£�]¡�¢"¤A§\¦X¢�¦X�p�\¦jÈ9¥�­j¥�Ê£­XËAÊ£Ë�¢"¨� A¦o§\¦�¡`��¡£¢]¤�®�¢�¢�¡�ÄAÊ£¦��\®��§\¢���¢�ËAÄ�¢�Ë�ÆǦo�d°d®4§\ª�¦o��V¥4�¬®�ÄpÅ�¦o­o��­X®�ÆǤ�®���¦X�p�j«K¥��QÈ�\ �¦o�3§\¦oÉ¥�ÈAÈ2¡`��¥4ªf¥4¡���¨�¡`�\ é¥Ò�ZÎL¤�¦�¨� �¡£­� �Æ�¥XÎöÄ�¦Ç¡£�A­X®�ÆǤ�¥4�\¡£Ä�Ê£¦V¨�¡`�\ �\ �¦V°h®�§\ª�®4���\¦X�é®��A¦�Ì:�Z��®�§�ÈL¦o§+�\®Ïª�Ë�¥4§�¥��p�\¦X¦Ç�\ A¦Ç¢�®�Ë���ÈA�A¦X¢�¢�®�°�\ �¦0�>ÎL¤�¦K¢�ÎL¢��\¦XÆÏ«pü ¾ µ�èL· Âb ¶¸´jµd¶¸·�³�¹ ¼ ¶ ¾ Á�¥&§\¦#Ë�¢�¦XÈ+¡£��¢�¡�ÈL¦K®�ÄpÅ�¦o­o�\¢X«¨� �¡£­� ÏÊ£¡���-Ò­o®�§�§\¦X­o�\Ê`ÎÒÆǦo�\ �®wÈ��Q¥4ÆǦX¢�¥���È:ÆǦo�\ A®wÈ�Ä�®wÈL¡�¦o¢XÌò ¤�¤A§\®�¥�­� �¦X¢Ù�\®+¢�Ë�Ä�¢�ËAÆǤA�\¡£®���¢�¡�ÆÇ¡£Ê�¥4§K�\®��\ A¦�®���¦J¤A§\¦o¢�¦X�p�\¦jÈ¡£�V�\ �¡£¢Ô¨#®�§.-+­j¥4�ÇÄ�¦#°d®�ËA�QÈ�¡£�Ï÷`ø=7A«�/nzA«I:L«�/n°�ús«f�>�:÷ /nz�ús«w¥���¦o¯w�\¦X�AÉ¢�¡£®���®�°��\ �¦(�"ÄpÅ�¦X­o�"Ó#¥4Ê�­oË�Ê£Ë�¢J¡£¢J¤L§\¦X¢�¦X�p�\¦jÈTÌe÷�®�Ë�ª� AÊ`ÎÒ¢�¤�¦X¥�-w¡£��ª¨#¦�­j¥4�:¢\¥XÎ��\ Q¥4��O�{wá4És�>ÎL¤�¦X¢�¥4�QÈ:ánv�µ4És�>ÎL¤�¦X¢Ö¡£���\ �¡£¢�¥4§��\¡£­XÊ£¦�­X®�§�ɧ\¦X¢�¤�®���ÈÏ�\®�Ð\ÈA¡�¥�ÆÇ®��QÈwÉ^�ZÎL¤�¦X¢�Ñ�¥���È3Ð\¢\¥4�\ËL§�¥4�\¦jÈwÉs�>ÎL¤�¦X¢�Ñ�¡£�3÷ /nz�úsÌ2L¡£ÆÇ¡£Ê�¥4§#¡�ÈL¦j¥�¢0­j¥���Ä�¦#°h®�Ë���ÈV¡£��÷ /n°�ús«L¥�Ê`�\ �®�Ë�ª� V�\ �¦Ö�>ÎL¤�¦Ö¢�ÎL¢��\¦XÆ�\ �¦o§\¦�¤L§\¦X¢�¦X�p�\¦jÈ2¤�¦o§\ÆÇ¡`�\¢+¥�Ê£¢�®ö¥:°d®4§\Æ ®4°J¢�¦XÊ`°hÉ^¡£�AæQ¡£­o�\¦XÈ�¦o¯w�\¦X�AÉ¢�¡£®���Ì0ô�®&¨K¦X©f¦o§j«L¡£�Ò�\ �¥4�Ö�ZÎA¤�¦�¢�ÎL¢��\¦XÆÏ«L¥bÆǦo�\ A®wÈ�Ú�¤�¦o§�°d®4§\ÆÇ¡��Aª¥�¢�¦XÊ`°�ÉZ¡£�LæQ¡£­o�\¦jÈ+¦o¯w�\¦X��¢�¡£®��b��¦X¦XÈA¢��\®J§\¦o�\ËA§\�b¥�§\¡£ª�¡�Èb®�ÄpÅ�¦X­o�Ô¨� A®�¢�¦

Page 10: A lambda calculus of objects with self-inflicted extension

Ç Ð@��120c-)Ð$�)�=�_Ü�� � GyG X ô è V Ú Õ X¦×M� ô�Õ GM¢�dAeÑ�& ��Õ ` Õ�Ø?Ù è � Y ÚÑè �M� Y Ú���]�]h×I� ô GI¢�dAeÑ�� �n¡Ý �[1<���_�= ��$��F#-)1HDE�_���=�>{�?� æ�¦o� � SU V Ú Õ Xc×I� ô Õ GM¢�d�eÑ� ¦ � Õ ` Õ�Ø{Ù� ê ���)� � � !; � Y Ú?Þ ï)ðñ � Þ?s � ò ô ÞSt �+� | �������� � ç�¢ � Y Ú Þ ��];]h×M� ô Þ GI¢�dAeÑ� � ��]�]ÔÚ Þ � ¦ ï)ðñ V Ú Õ X¦×M� ô�Õ GI¢�dAeÑ� � ��]�]ÙÚ Þ ��Õ !^Ú Þ X¦×M� ô Þ GM¢�dAeÑ�s� ��]�]0Ú Þ � ¦ ` Õ�Ø{Ù=ß�à Þ=á �+� | ��

ó�¡£ª�ËA§\¦�:�G ÍÙÎA¤�¦XÈÑ2wÎL�p��¥4¯�¥4�QÈ32LÆ�¥�Ê£Ê`ÉÂ2w�\¦X¤Ñ2L¦XÆ�¥4�p�\¡�­o¢#°d®�§��\ A¦��Ù¯w�\¦X��ÈA¦jÈ3�"ÄwÅ�¦X­o�"Ó#¥�Ê£­XËAÊ£Ë�¢

�>ÎL¤�¦�¡£¢h�A¯L¦jÈ:¡£�Ï�\ �¦+ÈA¦o­XÊ�¥4§�¥4�\¡£®��ö®4°0�\ A¦�Ä�®wÈLÎÒ®�°�Ú.Ì ò ¢�¥V­X®��LÉ¢�¦6xpË�¦o��­X¦V�\ A¦�°h®�ʣʣ®j¨�¡��Aªö¦�¯A¤L§\¦X¢�¢�¡£®��A¢V¥4§\¦��A®��+�>ÎL¤Q¥4Ä�Ê£¦Ç¡£�2�\ Q¥&�¢�ÎL¢��\¦XÆÑG

VV OLá��jàpâh��];]:àpÛ��4ÚBX Y=Y=Y `"f Ý�åfå Ü�Û�â t áM�M`�f�àwÛ��&ÚVV OLá��jàpâ f Ý�åfå Ü�Û�â t áM� V ��];]�àwÛ��4ÚQX Y=Y=Y `

ò �A®��\ A¦o§ �ZÎL¤�¦�¢�ÎL¢��\¦XÆ8°d®4§Ö�\ �¦hæ�¥�ÆbÄTÈ�¥�Ó#¥4Ê�­oË�Ê£Ë�¢Ö®4°��"ÄpÅ�¦X­��\¢#¡£¢¤A§\¦o¢�¦X�p�\¦jÈ�¡��3÷ :�úsÌ+Í# �¡£¢]�>ÎL¤�¦+¢�ÎL¢��\¦XÆ ËA¢�¦X¢�¥�§\¦a�Q��¦XÈ9�A®��\¡£®��*®�°¢�Ë�ÄL�>ÎL¤�¡£�Aª+�\ �¥4��¥�ʣʣ®j¨�¢J�\®��ZÎL¤�¦�¥�Ê£¢�® À ¶d³�¹ ¼ ½Çü ¾ µ�èL·  Á\Ì

�>�p�\¦o§\¦X¢��\¡£�AªVÈA¡`§\¦X­��\¡�®���¢Ö°d®4§J®�ËA§K°dËA�\ËL§\¦"¨#®4§.-�¥4§\¦"�\ A¦�°d®�Ê£Ê�®j¨ÖÉ¡£��ªLÌ Í# �¦ö�ZÎL¤�¦*¢�ÎL¢��\¦XÆ ®�°­���(���� ¡�¢:��®��ÏÈA¦X­o¡�ÈA¥�ÄAÊ�¦�Ì Í# �¡£¢¤A§\®�Ä�Ê£¦XÆ ­j¥4�¬Ä�¦�¢�®�Ê�©�¦jȬÄpÎ×ÈA¦X©f¦oÊ�®�¤�¡£��ª2¥�� Ð�¦o¯L¤�Ê£¡£­X¡`�\Ê`Î×�ZÎA¤�¦�ÉÈAÑ�©�¦o§\¢�¡£®��®�°h���������Ì��Z��©w¡�¦�¨ ®4°�¤L§�¥�­o�\¡£­j¥4ÊÖ¥�¤A¤�Ê£¡£­j¥4�\¡£®���¢X«0¡`�¡£¢�¥�Ê£¢�®�­o§\Ë�­o¡�¥4ÊÔ�\®�¡£�w©f¦X¢��\¡£ª�¥4�\¦b�\ A¦b¡£�p��§\®wÈAËA­o�\¡£®��*®�° ¡£ÆǤ�¦o§�¥4�\¡£©f¦°d¦X¥4�\ËA§\¦o¢V¡£�3®�ËA§�­j¥�Ê£­XËAÊ�ËA¢XÌéó�¡£�Q¥4Ê�Ê`ΨK¦�¨K®�Ë�Ê�ÈéÊ£¡+-�¦��\®1�Q��È¥��¦6xpËQ¥&�\¡£®��Q¥4Ê �\ A¦X®�§�Î2ÈA¦j¥4Ê£¡��Aª�¨�¡£�\ ��\ A¦Ç®�ÄpÅ�¦X­��\¢�®�°h��������b«Ù¥4�QÈ�\®�¢��\ËQÈLÎ9¤�®�¢�¢�¡£Ä�Ê£¦V§\¦X¤A§\¦o¢�¦X�p��¥4�\¡£®��ö®�°#®�ËA§��ZÎA¤A¡£��ªÒÈA¡£¢�­X¡£¤�Ê£¡£��¦V¡£��\ �¦�°h§�¥�ÆǦ�¨#®�§.-��\ �¦o®�§�Î�®�°[â�ã d�ä �¸¢�¦X¦�÷ <4ú>�Ìø �n�i� � �pí � � �÷`ø�ú+õöÌ ò ÄQ¥�ÈA¡9¥4�QÈ æ0Ì:Ó#¥4§�ÈL¦Xʣʣ¡sÌ ¢ ª è ¾ · ¼ ½ ·�± þ Àdÿj¾ ´jµdÁ\Ì2L¤L§\¡��Aª�¦o§�É�å0¦o§\Ê�¥�ªL«�ø6<�<�ùwÌ÷ /jú æbÌ��K¦oÊ�Ê �¦�Ì32w®�ÆǦ ÷J¦XÆ�¥4§.-w¢�®��Aæ�¥4Æ�ÄTÈA¥ÏÓ#¥�Ê£­XËAÊ£Ë�¢+®�°'�"ÄLÉ

Å�¦X­��\¢XÌ�Í�¦X­� ��A¡£­j¥�ÊL§\¦X¤�®�§��j«Iß]¡£¤Q¥4§��\¡£ÆǦX�p�\®"ÈA¡AõÏ¥4�\¦XÆ�¥&�\¡£­j¥"¦jÈ�>�L°d®�§\Æ�¥&�\¡£­j¥L«;ÿ"��¡£©f¦�§\¢�¡£�A�¥�ÈA¡sÿ]ÈL¡��A¦�«Tø6<�<�:AÌ

÷ °&ú�åbÌM�K®��A®b¥4�QÈ�õöÌM�KË�ª�Ê�¡£¦X¢�¡¸Ì�õÏ¥4�\­� �¡£�Aª�ÓK®���¢���§�¥4¡��p�\¢0°d®�§ �\ �¦æ�¥4Æ�ÄTÈ�¥�Ó#¥4Ê£­XË�Ê£Ë�¢�®�°&�"ÄwÅ�¦X­o�\¢XÌf�Z� � ¼ ·j´ 5 ·�± ª û#ý ¢ «j©�®�Ê£Ë�ÆǦø9/pø6z�®�°Öû ¾ ´jµd² ¼�¾(k ·fµ ¾ Á�¶d³3ýÙ·�ü » ²Lµ ¾o¼%� ´X¶ ¾ ³Q´ ¾ «T¤Q¥4ª�¦X¢h:fù�çùM/pÌs2L¤L§\¡£��ª�¦�§�Éèå0¦o§\Ê�¥�ªL«�ø=<I<I8wÌ

÷ :4ú�åb̬�K®���®A«õöÌÑ� Ë�ª�Ê£¡£¦X¢�¡¸«3õö̬ß]¦=,j¥4��¡`É>ÓK¡�¥���­X¥�ª�Ê£¡£��¡¸«é¥4�QÈæ0Ìeæ.¡+xwËA®�§\¡¸Ìj2LËAÄA�>ÎL¤A¡��Aª�ÓK®���¢���§�¥�¡£�p�V°h®�§V�Z��­X®�ÆǤ�Ê£¦o�\¦Q�"ÄLÉÅ�¦X­��\¢XÌ��>� � ¼ ·j´ 5 ·�± ª�¢ � � þ°é ª�ê ý ¢�¢ � «�©f®�Ê£Ë�ÆǦ�ø6/wø=:*®�°û ¾ ´jµd² ¼�¾gk ·fµ ¾ Áé¶d³ ýÙ·�ü » ²Lµ ¾o¼m� ´X¶ ¾ ³Q´ ¾ «�¤Q¥4ª�¦X¢j:fùM0=ç�:M8I8wÌ2L¤L§\¡��Aª�¦o§�É�å0¦o§\Ê�¥�ªL«�ø6<�<M8pÌ

÷ 0jú�åbÌ&�K®��A®A«�õöÌs�KËAª�Ê£¡£¦X¢�¡¸«.¥���È1æ0Ìsæ.¡�xpËA®�§\¡¸Ì ò æ�¥4Æ�ÄTÈA¥ÇÓ#¥�Ê`É­XË�Ê£ËA¢0®4°��>�A­X®�ÆǤAÊ£¦o�\¦F�"ÄpÅ�¦X­��\¢XÌ��Z� � ¼ ·j´ 5 ·�±°ëréÖý � «�©�®�Ê£Ë�ÆǦø�ø�ø6°�®�°Ôû ¾ ´jµd² ¼�¾'k ·fµ ¾ ÁJ¶d³*ýÙ·�ü » ²Aµ ¾o¼�� ´X¶ ¾ ³�´ ¾ «w¤Q¥�ª�¦X¢l/pø67�ç/I/n<LÌ 2w¤A§\¡£��ª�¦o§�É�å ¦o§\Ê�¥4ªA«.ø6<I<�ùLÌ

÷ ù&ú�åbÌ��K®��A®é¥���È�ìVÌ#ó�¡£¢� A¦o§jÌ ò �¬�ZÆǤ�¦o§�¥4�\¡£©f¦�ÌKó�¡`§\¢���ÉÂ��§�ÈA¦�§Ó#¥�Ê£­XËAÊ�ËA¢]¨�¡`�\ j�"ÄpÅ�¦o­o���Ô¯w�\¦X��¢�¡£®��.Ì]�Z� � ¼ ·j´ 5 ·�±�J]ýÖþ]þ � «æ�¦X­��\ËA§\¦�þ"®4�\¦X¢Ò¡£��ÓK®�ÆǤ�ËA�\¦�§Ñ2w­X¡£¦X��­o¦�Ì'2L¤L§\¡£��ª�¦�§�Éèå0¦o§\Ê�¥�ªL«ø6<�<I7LÌKÍ�®�¥4¤�¤�¦j¥&§jÌ

÷ 8jú�åbÌP�K®��A®9¥���Èjæ0ÌPæ�¡+xpË�®4§\¡¸Ì ò 2LËAÄA�>ÎL¤A¡��Aª�°h®�§+�\ �¦Çó�¡£¢� A¦o§�Éô"®���¢�¦XÊ£Ê`É>õ:¡£�\­� �¦oÊ�Ê æ�¥�Æ�ÄTÈA¥�Ó#¥�Ê£­XËAÊ�ËA¢#®�°E�"ÄpÅ�¦X­o�\¢XÌ.�Z� � ¼ ·j´ 5·�±Vý � û�«A©�®�Ê£Ë�ÆǦ§<I°I°b®�° û ¾ ´jµd² ¼�¾�k ·fµ ¾ Á"¶d³ýÙ·�ü » ²Aµ ¾o¼�� ´X¶ ¿¾ ³Q´ ¾ «�¤�¥�ª�¦o¢�øXù�ç�°IzLÌs2L¤A§\¡£�Aª�¦o§�É�å0¦o§\Ê�¥�ªA«.ø6<�<M0pÌ

÷ 74ú�ìVÌ �0§\Ë�­X¦�«Pæ0Ì�Ó#¥&§�ÈA¦Xʣʣ¡¸«�æbÌ�Ó#¥4¢���¥�ª���¥L«�Í# �¦Vô�®�¤;-w¡£��¢��"ÄAÉÅ�¦X­o��æ�§\®�Ë�¤�«&æb̧æ.¦j¥j©f¦X�A¢X«�¥���È �JÌ��Ù¡£¦o§\­X¦�Ì �"���K¡£�Q¥4§�Îõ:¦��\ �®wÈA¢XÌ ª è ¾ · ¼ ½Ç¹�³  � ¼ ¹f´jµd¶¸´ ¾ ·�±bþ Àdÿj¾ ´jµ � ½4Á�µ ¾ ü�Á\«TøM�i°M�«ø=<I<�ùLÌ

÷ <4ú�ìVÌ�� §\Ë�­o¦�«hæ8Ó#¥4§�ÈA¦oÊ�Ê£¡¸«"¥��QÈEÓ�Ì���Ì��Ù¡£¦o§\­X¦�ÌDÓK®�ÆǤQ¥&§\¡��Aª�"ÄpÅ�¦o­o���Ù��­X®wÈL¡£��ªAÌJ�Z� � ¼ ·j´ 5 ·�± ª<¢ ý � «&æ�¦X­o�\ËL§\¦�þ"®��\¦o¢"¡£�ÓK®�ÆǤ�ËL�\¦o§h2L­X¡£¦X�A­X¦�Ì&2L¤L§\¡��Aª�¦o§�É�å0¦o§\Ê�¥�ªL«�ø=<I<M8pÌ

÷`ø6z4ú&ìVÌn�0§\Ë�­X¦�«Iæ0ÌA��¦��\¦o§\¢�¦X��«�¥���È ò Ì4ó�¡£¦X­� �Ì�2wË�ÄA�ZÎL¤�¡£��ªÖ�Z¢Eþ"®4�Ù¥æ"®p®wÈÒÐ�õÏ¥4�\­� �Ñ�°d®�§��"ÄwÅ�¦X­o��ÉÂ��§\¡£¦X�p�\¦jÈ�æ�¥���ª�ËQ¥4ª�¦X¢XÌ��>� � ¼ ·j´ 5·�±FJ�ýÖþ"þ � «f©f®�Ê£Ë�ÆǦ�ø9/9:Aø"®�°Ôû ¾ ´jµd² ¼�¾§k ·fµ ¾ Á�¶d³2ýÙ·�ü » ²Lµ ¾o¼� ´X¶ ¾ ³Q´ ¾ «�¤Q¥�ª�¦X¢�ø6z�:�çQø6/I8wÌs2L¤A§\¡£�Aª�¦o§�É�å0¦o§\Ê�¥�ªA«.ø6<�<M8pÌ

÷`ø�øoú&ìVÌ ��Ì�� §\Ë�­X¦�Ì ò �Ô¥4§�¥�ÈL¡£ª�Æ�¥4�\¡£­¶�"ÄwÅ�¦X­o�¿ç���§\¡�¦o�w�\¦XÈí�Ô§\®�ɪ4§�¥�ÆÇÆÇ¡£��ª�æ�¥��Aª�ËQ¥4ª�¦IG�ß"¦X¢�¡£ª���«�2w��¥&�\¡£­2ÍÙÎA¤A¡£��ªé¥���È 2L¦oÉÆ�¥4�p�\¡�­o¢XÌ�îw·�² ¼ ³�¹fºL·�±�éT²w³Q´jµd¶d·�³Q¹fº � ¼ ·\à ¼ ¹�ü�ü�¶h³pÃ�«M:���/M�G£ø9/�8�ç/nz�ùw«�ø6<�<�:LÌ

÷`ø9/&ú(æÙÌLÓ#¥4§�ÈL¦Xʣʣ¡sÌ ò æ�¥4��ª�ËQ¥�ª�¦J¨�¡`�\ Bß]¡£¢���§\¡£Ä�ËL�\¦jÈB2L­X®�¤�¦�ÌÖýÙ·�ü ¿» ²Aµd¶h³pà � ½�Á�µ ¾ ü�«&7���ø9�G /�8�ç�0�<L«�ø6<I<I0wÌ

÷`ø6°4úMæbÌ�Ó#¥�¢���¥4ª���¥LÌ:ÓK®&©�¥&§\¡�¥4��­X¦�¥4�QÈ*­X®��p��§�¥j©�¥&§\¡�¥���­o¦IG�­X®��LæQ¡£­o�¨�¡`�\ A®�ËA�+¥Ò­j¥�ËA¢�¦�Ì ¢ ý$ë ªA¼ ¹�³�Á�¹f´jµd¶¸·�³�ÁÇ·�³ � ¼ ·\à ¼ ¹�ü�üb¶d³pÃûT¹�³pÃ�²L¹jà ¾ Á+¹�³ Â�� ½�Á�µ ¾ ü�Á\«�ø98��i°M�G :M°Lø.ç�:�:�8w«Ùø=<I<M0pÌ

÷`ø=:�úMæbÌwÓ#¥�¢���¥�ª��Q¥wÌJþ Àdÿj¾ ´jµ ¿ þ ¼ ¶ ¾ ³�µ ¾\ � ¼ ·\à ¼ ¹�ü�üb¶d³pà Rx¢¹ï ³A¶ C ¾�ÂéT·�²w³  ¹fµd¶d·�³�Ì)�Ô§\®�ª4§\¦X¢�¢0¡���Í# �¦X®4§\¦o�\¡£­j¥�Ê�ÓK®�ÆǤ�ËL�\¦o§�2w­X¡£¦X��­X¦�Ì� ¡£§.-)ð¥4Ë�¢�¦o§j«&�K®�¢��\®���«�ø=<I<�ùLÌ÷`ø90&ú&ìVÌ�ó�¡£¢� �¦�§jÌ ª ½ »A¾�� ½�Á�µ ¾ üD±o· ¼ þ Àdÿj¾ ´jµ ¿ þ ¼ ¶ ¾ ³�µ ¾� � ¼ ·\à ¼ ¹�ü ¿üb¶d³pÃ�û.¹�³pÃ�²L¹jà ¾ Á\Ìm�Ù ;ß �\ �¦X¢�¡£¢X«"ÿ"��¡£©f¦�§\¢�¡£�ZÎ�®4°�2w��¥4�A°h®�§�È.«

ò Ë�ª�Ë�¢���ø6<�<�ùwÌ÷`øjù4ú&ìVÌ�ó�¡£¢� �¦o§j«ÔóKÌ�ô"®���¢�¦Xʣʸ«Ù¥4�QÈ�ñAÌÙÓ�Ì�õ:¡£�\­� �¦oÊ�Ê¸Ì ò æ�¥4Æ�ÄTÈA¥

Ó#¥4Ê£­XË�Ê£Ë�¢K®�°|�"ÄpÅ�¦X­o�\¢K¥���È�õ:¦o�\ �®wÈB2w¤�¦X­X¡�¥�Ê£¡y,j¥4�\¡£®���Ì k · ¼� ¶¸´îw·�² ¼ ³Q¹�º�·�±VýÙ·�ü » ²Aµd¶h³pÃ�«.øM��øn�G °�ç�°M8p«Ôø6<�<�:AÌ÷`ø98&ú&ìVÌ.ó�¡£¢� A¦o§+¥���ȶñ�Ì�Ó�Ì�õ:¡£­� A¦XʣʸÌcþ�®��\¦X¢]®��2ÍKÎL¤�¦jÈ©�"ÄpÅ�¦X­o��É

��§\¡£¦X�p�\¦jÈ��Ô§\®�ª�§�¥4ÆÇÆÇ¡£��ªAÌ��>� � ¼ ·j´ 5 ·�± ª<¢ ý � «w©f®�Ê£ËAÆǦ�8n7I<®4°�û ¾ ´jµd² ¼�¾ k ·fµ ¾ Áb¶h³×ýÙ·�ü » ²Lµ ¾o¼%� ´X¶ ¾ ³Q´ ¾ «�¤Q¥�ª�¦X¢�7n:I:Aç�7I7I0wÌ2w¤A§\¡£��ª�¦o§�É�å ¦�§\Ê�¥4ªA«.ø6<�<�:AÌ÷`ø674ú&ìVÌ�ó�¡�¢� A¦o§�¥4�QÈañ�Ì.Ó�ÌTõ:¡£�\­� �¦oÊ�Ê¸Ì ò ß]¦XÊ£¦Xªf¥&�\¡£®��AÉ^Ä�¥�¢�¦jÈ©�"ÄAÉ

Å�¦X­o�ÖÓ#¥�Ê£­XË�Ê£ËA¢K¨�¡`�\ 32wË�ÄL�>ÎL¤�¡£��ªLÌQ�Z� � ¼ ·j´ 5 ·�±�é#ý ª «p©f®�Ê�ËAÆǦ<�ùM0�®4°.û ¾ ´jµd² ¼�¾�k ·fµ ¾ ÁÖ¶h³ÏýÙ·�ü » ²Aµ ¾o¼�� ´X¶ ¾ ³Q´ ¾ «�¤Q¥�ª�¦X¢e:�/=çwùLø�Ì2w¤A§\¡£��ª�¦o§�É�å ¦�§\Ê�¥4ªA«.ø6<�<M0wÌ÷`ø6<4ú&ìVÌ�ó�¡£¢� �¦�§+¥��Qȶñ�Ì�Ó�ÌÔõ:¡`�\­� �¦XʣʸÌB�"�9�\ �¦b§\¦XÊ�¥4�\¡£®��A¢� �¡£¤2Ä�¦oÉ

�Z¨#¦X¦o�¬­XÊ�¥�¢�¢�¦o¢X«�®�ÄwÅ�¦X­o�\¢X«�¥4�QÈ×È�¥4��¥ö¥�ÄA¢���§�¥�­o�\¡£®��.Ì ª è ¾ · ¼ ½¹�³  � ¼ ¹f´jµd¶¸´ ¾ ·�±Vþ Àdÿj¾ ´jµ � ½�Á�µ ¾ übÁ�«�ø6<�<I7LÌKÍ�®Ç¥4¤�¤�¦j¥&§jÌ÷ /�z4ú(æÙÌ&æ.¡+xwËA®�§\¡¸Ì ò �h�Ù¯w�\¦X��ÈA¦jÈ�Í# �¦X®4§�Î:®4°[�Ù§\¡£ÆÇ¡`�\¡£©f¦��"ÄpÅ�¦X­��\¢=G

ó�¡`§\¢��§��§�ÈA¦�§�2pÎL¢��\¦XÆÏÌ��Z� � ¼ ·j´ 5 ·�±'J�ýÖþ]þ � «A©f®�Ê£ËAÆǦbø9/9:Aø®4°�û ¾ ´jµd² ¼�¾ k ·fµ ¾ Áb¶h³×ýÙ·�ü » ²Lµ ¾o¼%� ´X¶ ¾ ³Q´ ¾ «�¤Q¥�ª�¦X¢�ø�:fù�ç�øjù�<LÌ2w¤A§\¡£��ª�¦o§�É�å ¦�§\Ê�¥4ªA«.ø6<�<M8wÌ÷ /wøoú ��ÌS�Ô¥�Ê�¥�ÈA¡£��ÌAÍ�¦X®4§\¦XÆÇ¡LÈA¡LÓK®���ª�§\ËA¦X�;,X¥�¤�¦o§�æ�¥�Æ�ÄTÈA¥4É>Ó#¥�Ê£­X®�Ê£¡

��§\¡£¦X�p��¥&�\¡�¥4ª�Ê£¡��"ª�ª�¦o���\¡¸ÌTõÏ¥4¢��\¦o§6} ¢ �\ A¦X¢�¡£¢X«Mß]¡£¤Q¥&§��\¡£ÆǦX�p�\®]ÈA¡õÏ¥&�\¦XÆ�¥4�\¡£­j¥b¦jÈ��Z�A°h®�§\Æ�¥4�\¡£­j¥w«;ÿ���¡£©f¦o§\¢�¡`�A�¥+ÈA¡sÿ]ÈL¡£��¦�«�ø=<I<I°wÌ�Z�:�^��¥�Ê£¡�¥���Ì

Page 11: A lambda calculus of objects with self-inflicted extension

÷ /I/jú æ"®�§�ÈL®��]�ÙÊ£®��.-w¡£��Ì ò 2p��§\Ë�­o�\ËL§�¥�Ê ò ¤A¤A§\®f¥4­� ��\®��"¤�¦�§�¥4�\¡£®���¥�Ê2L¦XÆ�¥4�p�\¡�­o¢XÌ Í�¦o­� A��¡£­j¥�ÊQ÷J¦X¤�®�§���ß ò ��õ:�2óEþJÉ\ø6<L«:ÓK®�ÆVɤ�ËL�\¦o§^2L­o¡�¦o��­X¦gß]¦X¤Q¥&§��\ÆǦX�p�j« ò ¥&§\ wË�¢jÿ���¡£©f¦o§\¢�¡`�ZÎp«­ß]¦X�LÉÆ�¥4§.-�«Tø6<�7Lø�Ì

÷ /�°&ú�ß�Ì�÷jò¦oÆbÎpÌéóA§\®�Æ�­XÊ�¥4¢�¢�¦X¢��\®*®�ÄpÅ�¦o­o�\¢�©L¡�¥9¢�Ë�ÄL�>ÎL¤�¡£��ªLÌ3�>�� ¼ ·j´ 5 ·�±�J#² ¼ · »A¾ ¹�³ � ½4ü » ·�Á\¶d²wü ·�³ � ¼ ·\à ¼ ¹�übü�¶d³fÃ�«�©�®�Ê£Ë�ÆǦø6°�7Lø+®�°Öº ³�´XÁ\Ì�¢�¤L§\¡��Aª�¦o§j«�ø6<�<I7LÌ

÷ /n:4ú�ñ�Ì æbÌ�÷J¡�¦o­a-f¦�¥4�QÈÇÓ�Ì�2w�\®���¦�Ì)�Ô§\¡£©�¥4­oÎb©L¡�¥�2wË�Ä�¢�ËAÆǤA�\¡£®��.ÌL�>�J�º ¾ ´jµ ¼ ·�³�¶¸´ »�¼ ·j´ ¾\¾� ¶d³pÃ�Á+·�±�é#þ]þ û ¿èó?ô «�ø6<�<I7LÌ

÷ /I0jú+õöÌjØ¥4�QÈ.ÌpÓK®�ÆǤAÊ�¦��\¦KÍKÎL¤�¦0�>�A°h¦o§\¦X�A­X¦0°h®�§�2w¡£ÆǤ�Ê£¦"�"ÄwÅ�¦X­o�\¢XÌ�>� � ¼ ·j´ 5 ·�±"û � ý � «L¤Q¥�ª�¦X¢h°M8�çM:I:LÌ��¿�[�°�m�Ù§\¦o¢�¢X«�ø6<�7M8pÌ

� álã��Qá�U ´ � �#���oñ Þ í ³ �pí ��øÔð � � �o����@� ��� îw�³ � ï3åÔî í � � �4�\�X�f �Sg

��� � � ¢a]5XI

baf V G{Z éAö| � � �j��bEb�!)éÑG V f �?g

��� � � ¢a]lé

baf V G{Z ¢§ö| � � �j��bEbe!¢�dAe V f �?g

��� � � ¢a]l¢

õÊ12F�F�öO4����ADE120 Ç Ð���12�

baf �Sgbaf­O�{wáE¢aY V V�¤ ` `FG?Z

��Z5u�v � ]�w�y �2÷ ÷Gø ø

b�!)¢�dAe¬O�{wáE¢aY V V�¤M£ ` `[f V GSZ Ú©ö| q � £ bif­O�{wáE¢aY V V�¤M£ !sÚÑG V ` `"G{Z

��Z5u�v � ]�w�y �?z

baf­O�{wáE¢aY V V�¤M£ ! £§¦ ` `�G?Zbaf­O�{wáE¢aY V Vi£�¤'£ ¦ ` `�G?Z

��Z5u�v � ]�w�y � }

bafQ��dAe3O�{wáE¢aY V V�¤M£ !ZÚ¬G V ` `brf3� � ��]�]ÔÚÑGSZ ��Z#u�v � ]x~�é;¢ ���)� ]5w�y �

be!¢�dAe V !Qb ¦ f �?gb�!)¢�dAe V !.b ¦ fB¢�G?Z

��Z5u�v � ]5"�$<yM

baf V G{Z bif¬�¬GSZbif V ñ �¬GSZ

��Z5u�v � ]�§#ySy � ¥�

bif �?gbaf�W"G?Z

��Z#u�v � ]F� � �|ô ¢.

� ����� ã ñ í ÞjøÔð � � �bafQ� � ��]�]0Ú¬G?Zbif¬�s� ��]�]0Ú�dAeÑ� ���_$�¢ÂçG�|]5� � � � yA��¢

���_$�¢�ç=�|]'î �S�Sg ]#w�y � bifBO�{pá�¢�Y V Vi£�¤l£§¦ ` `�GSZ bafBOM{wáe¢�Y V Vi£A¤'£§¦ !^Ú¬G V ` `�G?Z

brfQO�{wáE¢aY V Vi£A¤'£ ¦ !sÚÑG V ` `�dAe¬O�{wá�¢aY V Vi£A¤'£ ¦ ` `

bif V ý kOl ï] ñ �baf V dAe1�

���_$�¢ÂçG�|] £���� }

bif¬� ý kOl ï] ñ Vbaf V dAe1�

���_$�¢ÂçG�|] £���� z

b�!)¢�dAe V !.b ¦ f �Sgb�!.¢�dAe V !Qb ¦ fQ¢�dAe V

����$�¢ÂçG�|]�"�$<yM

bif V dAe1� brf¬��dAeh�bif V d�er�

���_$�¢ÂçG�|]�Z5yn$ �|ô

baf V G{Zbif V dAe V

���_$�¢ÂçG�|] £��Aù&ë

bif¬��d�e�� ¦ baf¬� ¦ � ��]�]ÙÚÑGSZbif¬� � ��]�]ÔÚ�dAe1� ¦ � ��]�]0Ú

����$�¢Âç=� ]#~�é;¢ ���)�

á@U ´ ��� ø � ï�ðw�j��ñ î í øÔð � � �bif¬��d�eÑOM{wáE¢aY V Vi£ !^Ú¬G V ¤l£ ¦ ` `

brf¬� � ��]�]ÙÚ ý kOl ï] ñ �� £���� ]5��% � yM

� £���� ]5~�é&¢. bif­O�{wáE¢aY V Vi£�¤l£ ¦ !sÚÑG V ` `"G{ZbifBO�{pá�¢�Y V Vi£�¤l£§¦ !ZÚ¬G V ` `a� ��]�]ÔÚ ý kOl ï] ñ O�{wáE¢aY V Vi£ !^Ú3G V ¤l£§¦ ` `� £���� ]5w�y �

be!¢�dAe3O�{wáE¢aY V Vi£�¤l£ ¦ ` `�f V ý kOl ï] ñ V ¦bifBO�{pá�¢�Y V Vi£ !sÚÑG V ¤l£ ¦ ` ` ý kOl ï] ñ O�{pá�¢�Y V Vi£ !sÚ¬G V ¦ ¤l£ ¦ ` `

bif¬�s� ��]�]0Ú¬G{Z bif¬� ý kOl ï] ñ � ¦baf3�s� ��]�]ÙÚ ý�kOl ï] ñ � ¦ � ��]�] Ú

� £���� ]5� � � � yS�i¢

bif V ý kOl ï] ñ V ¦ baf¬�QG{Zbif V ñ � ý�kOl ï] ñ V ¦ ñ �

� £���� ]5§�yAy � ¥ }

Page 12: A lambda calculus of objects with self-inflicted extension

bafQ� ý k¿l ï] ñ � ¦ baf V G?Zbif V ñ � ý k¿l ï] ñ V ñ � ¦

� £���� ]5§#ySy � ¥ z

á@U ´ � øÔð � � � � îw� ä ��³��AïL� á|� �³V�bif �SgbafBç�G�W

��� � �Pô ¢

b�!éÑG V !Qb ¦ f �Sgb�!)éÑG V !.b ¦ f¬éÑG V

��"�$<y�

be!.é3G V f � G��baf¬�;éPY � G V ñ �

��§'� ô

baf � � G V ñ � brf � ¡ G��bif �M�&�n¡ GI�

��§°v?v ë

á@U ´ � øÔð � � � � îw� ± ��² � �j� á|� �³V�baf �?g

baf V `�GIO�{pá�¢�Y V V�¤ ` `��~&�Mv&¢�u;

��w�y � ]x~�é&¢ ���)� baf � G�O�{wáE¢aY V Vi£�¤l£ ¦ ` ` bif­O�{wáE¢aY V Vi£�¤l£ ¦ !^Ú3G V ` `"G{Zbif � G�O�{wáE¢aY V Vi£�¤l£ ¦ !^Ú3G V ` `

baf � � G��baf3��dAe3O�{pá�¢�Y V Vi£A¤'£§¦ !^Ú3G V ` `b�!¢�dAeÑ�s� ��]�]0Ú]f �n¡ GM¢ ñ Vbaf Vi� � ��]�]ÇÚBX � ¡ `�G��s� ��]�]0Ú

������ � �

baf � GM� bif¬��dAe3O�{pá�¢�Y V Vi£ !sÚ¬G V ¤l£ ¦ ` `baf � f Ú3G V ÷ � ò ¢Zú

� ê �����

baf � � G�� brf � ¡ GS�baf3��dAe3O�{pá�¢�Y V Vi£ !sÚ¬G V ¤'£ ¦ ` ` brf��#dAeÑ�

brf ê �9ë � � � !ZÚ ! � ¡ "G V ÷ � ò ¢^ú� ê �9ë>� ç�¢

baf � G V baf V ý kOl ï] ñ �bif � G��

� £§��� }

baf � G V baf¬� ý kOl ï] ñ Vbif � G��

� £§��� z

� álã�� �;�&���^�oøÔð � � � � îw� � ðA�p�oð�³B´f��ñ î í�;�&���^� o����@� ��� îw�³ � ï á@U ´ � ���Z5uAv � ]x�����bifBO�{pá�¢�Y V Vi£�¤l£ ¦ ` `�GSZ ¢K­X®&©�¥4§\¡�¥��p�J¡£� £ ! £ ¦

bifÒánv�µE¢aY V Vi£�¤l£h¦ ` `�G{Zbif¬��d�e*á9v�µE¢aY V V�¤I£ !^Ú3G V ` `

bafQ� � ��]�]0Ú3GSZ ��Z5u�v � ]�~�é&¢ ���)� ]x�����

�;�&���^� � ����� ã ñ í ÞjøÔð � � �bafÒánv�µE¢aY V Vi£�¤'£ ¦ ` `�G?Z

bifBO�{pá�¢�Y V Vi£�¤l£§¦ ` `�dAe9ánv�µE¢�Y V Vi£�¤l£§¦ ` `��w�y � � � ¢ �

���_$�¢�ç=�|]'î �S�Sg ]#�����bafÒánv�µE¢aY V Vi£�¤'£ ¦ ` `�G?ZbafÒánv�µE¢aY V Vi£�¤'£ ¦ !^Ú¬G V ` `�G?Z

bif:ánv�µ�¢�Y V Vi£�¤l£ ¦ !ZÚ¬G V ` `�dAe�ánv�µ�¢�Y V Vi£�¤l£ ¦ ` `bif V ¦ dAe V baf¬��dAe1� ¦baf V ñ ��d�e V ¦ ñ � ¦

����$�¢ÂçG�|]#§�yAy � ¥�

�;�&���^� á@U ´ ��� ø � ï�ðw�j��ñ î í øÔð � � �bif¬��d�e*á9v�µE¢aY V Vi£ !^Ú¬G V ¤l£h¦ ` `

brf¬� � ��]�]ÙÚ ý kOl ï] ñ �� £���� ]5��% � y ¦

� £���� ]5~�é&¢ ¦ bifÒánv�µE¢aY V Vi£�¤l£§¦ !sÚÑG V ` `"G{Zbif:ánv�µ�¢�Y V Vi£�¤l£ ¦ !ZÚ¬G V ` `a� ��]�]ÔÚ ý kOl ï] ñ ánv�µE¢aY V Vi£ !^Ú3G V ¤l£ ¦ ` `� £���� ]5�����

b�!¢�dAe3O�{pá�¢�Y V Vi£ !sÚ¬G V ¤l£ ¦ ` `[f V ý kOl ï] ñ V ¦bif:ánv�µ�¢�Y V Vi£ !sÚÑG V ¤l£ ¦ ` ` ý kOl ï] ñ ánv�µ�¢�Y V Vi£ !sÚ¬G V ¦ ¤l£ ¦ ` `

ú � Ý á@U ´ � øÔð � � � � îp�§�;�I´p� � ����ñ î í �bif � G V bif V dAe1� bifQ�¬G £ ! �

bif � G��� êEó � ô ó � �

baf �M� GM�bafQ��dAe�ánv�µ�¢aY V Vi£A¤'£ ¦ !sÚ¬G V ` `be!¢�dAeÑ� � ��]�]ÙÚ]f � ¡ GM¢ ñ Vbaf Vi�M� ��]�]�ÚBX ��¡ `�GM� � ��]�]ÔÚ

�iõ � ¥�]#���� � ç�¢

�iõ � ¥(] ê ���)� bif � G�� baf¬��dAe9ánv�µE¢aY V Vi£ !^Ú¬G V ¤'£ ¦ ` `bif � f Ú3G V ÷ � ò ¢^ú

Page 13: A lambda calculus of objects with self-inflicted extension

�iõ � ¥�] ê �9ë>� ça¢.baf �M� G�� brf �n¡ GS�baf3��dAe9ánv�µ�¢�Y V Vi£ !sÚ¬G V ¤'£ ¦ ` ` brf��#dAeÑ�

brf ê �9ë � �M� !ZÚ ! �n¡ "G V ÷ � ò ¢^ú

øÔð � � � � îw��ÛLñ � � ï á�U ´ � �bif �?g

baf�W"G £ ! �� £ ! � ]l� � �|ô ¢.

baf:á9v�µe¢�Y V Vi£A¤'£ ¦ ` `�G?ZbafÒánv�µE¢aY V Vi£�¤'£§¦ ` `�G £ ! �

� £ ! � ]5���)��

bafQ�¬G £ ! � bifQ� � ��]�]ÙÚ3G?ZbifQ� � ��]�]ÔÚÑG £ ! �

� £ ! � ]x~�é;¢ ���)�

bif V G £ ! �b�!)¢�dAe V !.b ¦ fB¢�G £ ! �

� £ ! � ]�"�$<yM

baf V G £ ! � bafQ�¬G £ ! �baf V ñ �¬G £ ! �

� £ ! � ]5§�yAy � ¥�