From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on inbox.vuxu.org X-Spam-Level: X-Spam-Status: No, score=-0.0 required=5.0 tests=DKIMWL_WL_HIGH,DKIM_SIGNED, DKIM_VALID,HTML_MESSAGE,RCVD_IN_DNSWL_NONE,RCVD_IN_MSPIKE_H2, T_SCC_BODY_TEXT_LINE autolearn=ham autolearn_force=no version=3.4.4 Received: (qmail 16802 invoked from network); 19 Dec 2023 16:10:10 -0000 Received: from mail-me3aus01on2110.outbound.protection.outlook.com (HELO AUS01-ME3-obe.outbound.protection.outlook.com) (40.107.108.110) by inbox.vuxu.org with ESMTPUTF8; 19 Dec 2023 16:10:10 -0000 ARC-Seal: i=5; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=pass; b=FqAUUE0YO/ZSd5JPau6ysm9JOQytrFIZhIa3+Fs90fdsYH9j74x2SVz1hVpNI1bQX0qwBOkY2evyYqTCmMXkFJEVNZB3dYtcIp3tN1ZImdBHhzP2VS3WxNRaI85+e9qhxoJXeXV6y+CZym7pcSXpAg4ZOlKhXP1MgT4+bt6dv8otCYubtug8Mh5BsGh5AobMrmQ/wZCtbZM575kEtGj9qgyZxNhQJ9KrneBRtdUqGikGfbAahPYF1NvRnkDTubK41DnENTzwpPI0U1P4nA5cC04snAKHsfQw6/kpl3iiKKhni1Zb2y1sWTGF/zyWJad6RO+S6TInwzjHssbMe7orXQ== ARC-Message-Signature: i=5; a=rsa-sha256; c=relaxed/relaxed; d=microsoft.com; s=arcselector9901; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-AntiSpam-MessageData-ChunkCount:X-MS-Exchange-AntiSpam-MessageData-0:X-MS-Exchange-AntiSpam-MessageData-1; bh=Hts5xeCOg9zo3SBm2e9AynQCO36/rwZnBMW1G0AD7/o=; b=Ydmd+3ZmyjOL6xoAoL7tB7eBh+zmDTqKGgumNxrGPyM/fAwXuXwDYE4UHioH/fCqAebp3T9qN6MdL+Ddv7t6AD0Asy2g27x2noAWhz23cMcbVB3wD5V33ImRJNJU162cxU1nbOK4iJyk3YLnIYXFQD0zE4phUiY6K5zc4SzIwy7BrR43B42KCGMAXG/Os3Agxhzw7yzcwZLLPnkS0WaEvfARvgS1ns5You5i6znfJR3UGhb1KQsR5ZYI7JRASxI/p/fTA9LBdzhGkkLTemsw4kUZyUxGR2iysHefMdska8xPy8h34BzEQF+0KOQgvwMVma+e7ffA3iYaTIc2mPQVUA== ARC-Authentication-Results: i=5; mx.microsoft.com 1; spf=pass (sender ip is 68.232.154.216) smtp.rcpttodomain=mq.edu.au smtp.mailfrom=quantinuum.com; dmarc=pass (p=quarantine sp=quarantine pct=100) action=none header.from=quantinuum.com; dkim=fail (body hash did not verify) header.d=quantinuum.com; arc=pass (0 oda=0 ltdi=0 93) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=groups.office.net; s=selector1; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-SenderADCheck; bh=Hts5xeCOg9zo3SBm2e9AynQCO36/rwZnBMW1G0AD7/o=; b=L3H7+DJ5LTDSvsadwXOVRftdng7XjguEHX5rhZvqzuTQtbsnfCCw0UhlfJ9H/5aQdZCyhkAc/qvHPAG+V/2StxMzo3htyJkWkA8kWV2xBeMVc89Wpt4Z0T1KqcogR3jHwvqWarMuUxTC0BPwnNp1iKgSgXUMc4wu53lxobAv9/tpdQjp4WdajKu/UbnoFK5duJE5njlRGFkRVvKV9RxPPWN1sAVSk1OMNX0nllP0b5YORaymKNpnjzX2IVnBlIjN2BeLjgkQlCX6E4cJXGOIPdHV3BcabrUGle9n/cIExMEVc5eqizvC2PEPaf4R8phMrv9/JlKDsBY9ixH0SphHaQ== Received: from SmtpServer.Submit by SY4PR01MB5513 with Microsoft SMTP Server id 15.20.7091.38; Tue, 19 Dec 2023 16:10:06 +0000 ARC-Seal: i=4; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=pass; b=BnC1sjNuPchb0zjfTFV7X21dqmP+19luWRVZ8uFKQwDWj6nGZhD2OQIqMGReMic1BQiI3gjuTzKriHE7+08IMU1HXo9f+yInDElYOz7nFi+hsIMhgz6GKsbW6nzqwhtdVr2THw9c1qD0qgpfP8DWVEjn7WFyaRZpWvYkvAU1T9TV7PFaLILwAI4BkCa6PTilm97jVgvgNcQ/Cl10AoJLEqZ0zxzAzipZXVm8bPI4YTJuZAFtTEfmR9vqkL+XP//CeCdRhajO/VIIg3p6WQYHB80zm1Klm7gYYN0vfVzVOVWxXkTNUGHWyRtUXBiJBsQiT3JTKWm8Wou/yvs7F7bh3g== ARC-Message-Signature: i=4; a=rsa-sha256; c=relaxed/relaxed; d=microsoft.com; s=arcselector9901; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-AntiSpam-MessageData-ChunkCount:X-MS-Exchange-AntiSpam-MessageData-0:X-MS-Exchange-AntiSpam-MessageData-1; bh=HlA1t+DfSPjf9Hz02iFwSxQG/QJ9NWkm9vjLLS6I3jc=; b=D7KLleKH1GRuA4jGns1h4bmBalT4dwl9p2teb1gqjR+MP+ejpTD08SZteY22x1kfaiBLwoWhwfoinpff+Ogob73jx7Bs+u9Yyhkq7hd7k7HxG9NGPq0LafVTH+KXCKwcebXeb2M5rgul/GI28VzbchNOZvRM3AmDT4MYLUhEG9LnvSf4mrCTThBalH/RPgHJdtvYdRs5O4rnI3XAfqRNATOrN4uGP5PcM0VMd/xNTeM76iOhj6wNmqdsTIvgDG9eu0+ibglBj/PJDHirMT9ly1ZN4YwsY1ER+rPioKa4soC3wZqJNIPX7SmhctlUpBqeYtnezmJq79IIKhQFkE3ATA== ARC-Authentication-Results: i=4; mx.microsoft.com 1; spf=pass (sender ip is 68.232.154.216) smtp.rcpttodomain=mq.edu.au smtp.mailfrom=quantinuum.com; dmarc=pass (p=quarantine sp=quarantine pct=100) action=none header.from=quantinuum.com; dkim=fail (body hash did not verify) header.d=quantinuum.com; arc=pass (0 oda=0 ltdi=0 93) Received: from SY7PR01MB8190.ausprd01.prod.outlook.com (2603:10c6:10:1e5::7) by SY4PR01MB5513.ausprd01.prod.outlook.com (2603:10c6:10:fe::8) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7091.38; Tue, 19 Dec 2023 16:10:01 +0000 Received: from SYCPR01MB3647.ausprd01.prod.outlook.com (2603:10c6:10:33::20) by SY7PR01MB8190.ausprd01.prod.outlook.com (2603:10c6:10:1e5::7) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7091.38; Tue, 19 Dec 2023 16:09:58 +0000 Received: from SYCPR01MB3647.ausprd01.prod.outlook.com ([fe80::38aa:4bff:d0f4:3983]) by SYCPR01MB3647.ausprd01.prod.outlook.com ([fe80::38aa:4bff:d0f4:3983%6]) with mapi id 15.20.7091.034; Tue, 19 Dec 2023 16:09:58 +0000 ARC-Seal: i=3; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=pass; b=Zr25j+rLMaicbz0k2jpiYsk9isHvHG4TFmYtvl5h61KbxrAalgwBwgN0XmyzR+5IWtYvDJRRPgQSGrqaLhwgugMmN4thkERa355RsvE9lnIhvajiXya2AoaYdYAlVKD1t2d+++TqR7hU6PQYdwhKVOTaYkrtoeIG5rH8Gvcx1cCS6jARjxuwZWj6NNBWvpkYIbIt5oRyfZN0LBcYWVlJQZd4YAdEiB2CSZPhXdm3K0zQMNQJQupRzRbbzdOvmWNjgw25z7/Nsd5YyY0wG6pE3QMOW1UK+Zn2FOjrjJhfFQ3sBnY9GBTqVUtlCvnIiYeqHoDE/2yn8oiJ7D9v1JfELg== ARC-Message-Signature: i=3; a=rsa-sha256; c=relaxed/relaxed; d=microsoft.com; s=arcselector9901; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-AntiSpam-MessageData-ChunkCount:X-MS-Exchange-AntiSpam-MessageData-0:X-MS-Exchange-AntiSpam-MessageData-1; bh=HlA1t+DfSPjf9Hz02iFwSxQG/QJ9NWkm9vjLLS6I3jc=; b=jqu0kaza0cAvtdxsLhg+dRFmmoo/+p6a82Nzz/Eg7iYuJtzBx5+6NruGj7KrI/i8wqPfA9B+cMH8lxqjpzRTYwNNGJTH+fvaY09GIcVsum3sC/+9efb12UaPutgbLBT7ZmJYXT++kF2GMgjneAqEgK53+BzlZriirjw3rV191IGaFlbUT6BkixfpObqPbsPp2WOMgk5rCqgi9eDcuwD++le/l+pkCvCIQjG5lm9+53TG1nkGz1ARSmd4xpa4flzAlU1rCGwVULCZtmsheixIVjmyTrw/9lBRBEDFhsXkgOY051kaPqNRNTqZwhCUV+fZhL7GpBhWoJB04ohxQy0OAw== ARC-Authentication-Results: i=3; mx.microsoft.com 1; spf=pass (sender ip is 68.232.154.216) smtp.rcpttodomain=mq.edu.au smtp.mailfrom=quantinuum.com; dmarc=pass (p=quarantine sp=quarantine pct=100) action=none header.from=quantinuum.com; dkim=fail (body hash did not verify) header.d=quantinuum.com; arc=pass (0 oda=0 ltdi=0 93) Received: from SY5PR01CA0036.ausprd01.prod.outlook.com (2603:10c6:10:1f8::13) by SY6PR01MB8220.ausprd01.prod.outlook.com (2603:10c6:10:1d7::8) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7091.38; Tue, 19 Dec 2023 16:05:05 +0000 Received: from SY4AUS01FT015.eop-AUS01.prod.protection.outlook.com (2603:10c6:10:1f8:cafe::fc) by SY5PR01CA0036.outlook.office365.com (2603:10c6:10:1f8::13) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7091.38 via Frontend Transport; Tue, 19 Dec 2023 16:05:05 +0000 Authentication-Results: spf=pass (sender IP is 68.232.154.216) smtp.mailfrom=quantinuum.com; dkim=fail (body hash did not verify) header.d=quantinuum.com;dmarc=pass action=none header.from=quantinuum.com; Received-SPF: Pass (protection.outlook.com: domain of quantinuum.com designates 68.232.154.216 as permitted sender) receiver=protection.outlook.com; client-ip=68.232.154.216; helo=esa2.hc5761-7.iphmx.com; pr=E Received: from au-smtp-inbound-delivery-1.mimecast.com (103.13.69.101) by SY4AUS01FT015.mail.protection.outlook.com (10.114.156.158) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7113.18 via Frontend Transport; Tue, 19 Dec 2023 16:05:04 +0000 ARC-Message-Signature: i=2; a=rsa-sha256; c=relaxed/relaxed; d=dkim.mimecast.com; s=201903; t=1703001903; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc:mime-version:mime-version:content-type:content-type: in-reply-to:in-reply-to:references:references:dkim-signature; bh=HlA1t+DfSPjf9Hz02iFwSxQG/QJ9NWkm9vjLLS6I3jc=; b=adzCu3yJjC9XwVTgXqLVpEVa4pt/Wy1abazWOUkWeooixGnCegI9F8iByo7U/zv1vHn4vy C4D3sOBHs7pHr/oK6pVYyWw+PY/+T40nZmaZ9g4r+YjKypGTFDlPWVJXiXoTYiBwvnFfEQ 2gBJXMIWLdiCkebIKCCveGNxnUFe0bInNngGiLEgWjfr4pkLqJtBehgiKlscXt3tQCI0wo 7nAxL4+rI2M6SVEdNm7ZSFYEju2NPCMb3HlGUinjnCSjK4tmxCt/gWnBUpPv+bustLG5Uo xqAUGKdkciQinr32rR/gLflAYrr3V2VetyXwaQjaYkOtZmxaqAVhOqd8bJQ3rA== ARC-Seal: i=2; s=201903; d=dkim.mimecast.com; t=1703001903; a=rsa-sha256; cv=pass; b=ATGD7UFjMCVm5rGs1XWe0k5XOocuUX+wc1ec//Qbr+HjfD9Kbr/nBdbbHS5Y2zT2I/aRfQ T/gMvnjcJjnjKIxM5iCn3y5xe2NqBWOOQn25oBHUfenTw+hd/vzu/z8QOuWiam+bOha80n k1UEkTPe+rFPf80YKYRkaYIavKwD+ii+NZLKcEMcwCdtDhqA+2PYmpnbCeAKsp1ehXMBy6 glGFCyyYOk3ux18DvthhH+uzsB43lylI+OSFVAdO5RRjw06Ok/dtzAuIpdtUEMIB4ExWQd 5z3ysxSpRnchBBnCmeTcVKBvrJxslR4VGxkCncACErHLJ2yiiXdd9LH4iSewNg== ARC-Authentication-Results: i=2; relay.mimecast.com; dkim=pass header.d=quantinuum.com header.s=selector1 header.b=mx1dIx6d; arc=pass ("microsoft.com:s=arcselector9901:i=1"); dmarc=pass (policy=quarantine) header.from=quantinuum.com; spf=pass (relay.mimecast.com: domain of bob.coecke@quantinuum.com designates 68.232.154.216 as permitted sender) smtp.mailfrom=bob.coecke@quantinuum.com Received: from esa2.hc5761-7.iphmx.com (esa2.hc5761-7.iphmx.com [68.232.154.216]) by relay.mimecast.com with ESMTP with STARTTLS (version=TLSv1.2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id au-mta-93-tcqCkLBmNJKgLKtq-bLALQ-1; Wed, 20 Dec 2023 03:04:59 +1100 X-MC-Unique: tcqCkLBmNJKgLKtq-bLALQ-1 X-CSE-ConnectionGUID: sFTNn5EKRpeGoF4lJrA/hw== X-CSE-MsgGUID: Az/KHooKSgmSwmpnO1RwdQ== X-IronPort-RemoteIP: 104.47.55.169 X-IronPort-MID: 2215211 X-IronPort-Reputation: None X-IronPort-Listener: Outgoing X-IronPort-SenderGroup: RELAY_O365 X-IronPort-MailFlowPolicy: $RELAYED Received: from mail-bn8nam12lp2169.outbound.protection.outlook.com (HELO NAM12-BN8-obe.outbound.protection.outlook.com) ([104.47.55.169]) by ob1.hc5761-7.iphmx.com with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 19 Dec 2023 09:03:50 -0700 ARC-Seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=UJXDqVuliziw/x2OOCZmjr/9UC2K3iT9pih+yNbPcQ9n3H8DUZ4pRPtK94gqkzsTlmENZL9EDdWdHGneDc6pCac+vp4HMdkrWunEYzDBS1d6joN2idKV7lexj9kuTJvSs1sbccmFic4Gm32PmrVD9x89VirbfpS1l+i8ZbFU+boVQtFsMz3ksrqVtczyvV974nZqDzE3k1wwaL8iUbAf98j5QYC4VRRf2Sx/FWhL7jK6/tXnNFDEsNW59BmIbWHmjlvv6BFGHfCyq+dnWPyQUp55GTQI3nS5LdVDyFHfgn3Od6YJ9IJMl6eOsUGUOAeVIhuC+bJRDCDuZbqVbMO7KA== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=microsoft.com; s=arcselector9901; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-AntiSpam-MessageData-ChunkCount:X-MS-Exchange-AntiSpam-MessageData-0:X-MS-Exchange-AntiSpam-MessageData-1; bh=oJ6lSxx7IOq4lqwNywHYdKNbwQ7Vpl5ZEldzkBWooUM=; b=Q9qNKZW3DtgbBlGXpFBKmXmD1f7Oepzdjh3jH8w7JpY2Zv3PcRpsFU9SyIwB/bPqWjDa8rTWCZ7du+v5clSMASAqSZ/Y8K+t4ct8oh6AnTYmkw0sXD7dJq31JxMW/nYzhmy4ioyK41a0DJ6SQmP+le2bH4J3FRkl80m/YJFlltbvEB900ghuAMy/amQ0nF6CH8lA3Lkwq4VAMXioyCwq6AJ6Ka6Wr67UcvOJ6p2MdjxreNakwNF0M9YD29QvZv1266K6zu3Rralw2Cti0Ta4LB3XqdH+duCW6/M3RNbH0sOwkGgh0itWhS9yRqEAauMJOpyNfvNcY6gXZXSgg9ly/Q== ARC-Authentication-Results: i=1; mx.microsoft.com 1; spf=pass smtp.mailfrom=quantinuum.com; dmarc=pass action=none header.from=quantinuum.com; dkim=pass header.d=quantinuum.com; arc=none DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=quantinuum.com; s=selector1; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-SenderADCheck; bh=oJ6lSxx7IOq4lqwNywHYdKNbwQ7Vpl5ZEldzkBWooUM=; b=mx1dIx6daz9F3NxsBKUUvO+fhg7kQs+H2h0NYah6xIvoQ7Xh5LRC+ia7fZHD+GsCnX2aVH76kHbk43w2nvZNSGDYY6vjrWSL+0v9ihMCLLey4jMWCevWES8OmZlDUkNWd2izEB2Dg1UZSbxR9XtDkKqc/XMmFh8R0ExotC1+Cz+xaNqrssezVD+xp86qyeTt7J7Rd6adxXlWQ/85m02GquyuWlaa35nKI7r+jau3YXu8zXjPObHWoz/Q29tuzwPr4Oy+3LSkkye0IZ2HfRg2mJvKu1LHjt+5hFf6x/Erzs1pxUeOIrb2Xd1I35Hgi8w1SQ/+tiOMJWF2rXlFSID1Pg== Received: from MW5PR19MB5602.namprd19.prod.outlook.com (2603:10b6:303:19f::6) by BY5PR19MB3924.namprd19.prod.outlook.com (2603:10b6:a03:220::18) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7091.38; Tue, 19 Dec 2023 16:03:45 +0000 Received: from MW5PR19MB5602.namprd19.prod.outlook.com ([fe80::dbe7:db1d:fa6e:e955]) by MW5PR19MB5602.namprd19.prod.outlook.com ([fe80::dbe7:db1d:fa6e:e955%7]) with mapi id 15.20.7091.034; Tue, 19 Dec 2023 16:03:45 +0000 From: Bob Coecke To: "Michael Barr, Prof." , Prakash Panangaden , Richard Blute , Categories mailing list Subject: Re: [EXT] Re: Phil Scott Thread-Topic: [EXT] Re: Phil Scott Thread-Index: AQHaMosS3gM+addnzEClYlYYvM+t8bCwwG8AgAACcrQ= Date: Tue, 19 Dec 2023 16:03:45 +0000 Message-ID: References: In-Reply-To: Accept-Language: en-GB, en-US X-MS-Has-Attach: X-MS-TNEF-Correlator: msip_labels: x-ms-traffictypediagnostic: MW5PR19MB5602:EE_|BY5PR19MB3924:EE_|SY4AUS01FT015:EE_|SY6PR01MB8220:EE_|SY7PR01MB8190:EE_|SY4PR01MB5513:EE_ X-MS-Office365-Filtering-Correlation-Id: b44514f2-caea-488b-cec0-08dc00ac4344 X-MS-Exchange-SenderADCheck: 0 X-MS-Exchange-AntiSpam-Relay: 0 X-Microsoft-Antispam-Untrusted: BCL:0 X-Microsoft-Antispam-Message-Info-Original: hlx40EKZffGAB8klLX/GHTjWhAPySJ3buVqu8uje1ZQrSGQ0jnaAM6mxARfyWYNTwJQs8MPdpWWIBB37pCaZv+uHJEzMWSUzQaLipaPI8PR9t5cnKjQSefXCMMAvNJN3lMYIvZme6efn0WOb302+xf4LuHz29asc71/lqSy7wla07eWodmCbd0QdOaxiku44kwoZK4Zu0/EyDF5Z+1Ah/Pdru2ZYD4ChQPanistE3SwTYU70P5rmyKYv1nVWSJ+dhUBQGzX1VQOMOa/FKw/lwusKsI1TUp7Gqqi82Ol7mDoba91HG0OgDSCKokm2J1kubw7kZtONd4ZwdnjvyweFIL7j76bvR1p6dVzznSnfRa2+ZmmbI4rLuwnoQmI0cUX8wKgltEceEUGOl+joyCURv6srrV8lW4M9wxfwrjJLB0mZ7z57/ZSHYwntp6FkLpH6Uwp4KT6Yg3W12qIXczkt3wAbplNIqyj58qjV1mlYnHvL5emmEI25spbXQtI4ni0hocJ4xxGgPxhKFBsiFyg+CJgq1k7doUWK2VUfaWWXIi7k6ZqCMUtsT21uQWVEI1TNkooOu5fToRGrH8USznmiq76htdUrSbHA3LcXCE3Vf02nzxwOgF57biP4+qjM9mBl6pTy3o2D0E5bzSgUMjupNmVGXElvDlRwYCQC8fI0EbAS1r9HsSAQ+CmZQxDL81RX X-Forefront-Antispam-Report-Untrusted: CIP:255.255.255.255;CTRY:;LANG:en;SCL:1;SRV:;IPV:NLI;SFV:NSPM;H:MW5PR19MB5602.namprd19.prod.outlook.com;PTR:;CAT:NONE;SFS:(13230031)(39830400003)(366004)(396003)(376002)(346002)(136003)(230173577357003)(230922051799003)(230273577357003)(451199024)(64100799003)(186009)(1800799012)(38070700009)(91956017)(83380400001)(316002)(296002)(55016003)(66476007)(66946007)(76116006)(64756008)(66446008)(66556008)(110136005)(5660300002)(2906002)(8936002)(8676002)(52536014)(9686003)(55236004)(53546011)(45080400002)(7696005)(6506007)(71200400001)(19627235002)(26005)(19627405001)(478600001)(86362001)(33656002)(41300700001)(122000001)(166002)(38100700002);DIR:OUT;SFP:1102 MIME-Version: 1.0 X-MS-Exchange-Transport-CrossTenantHeadersStamped: BY5PR19MB3924 Authentication-Results-Original: relay.mimecast.com; dkim=pass header.d=quantinuum.com header.s=selector1 header.b=mx1dIx6d; arc=pass ("microsoft.com:s=arcselector9901:i=1"); dmarc=pass (policy=quarantine) header.from=quantinuum.com; spf=pass (relay.mimecast.com: domain of bob.coecke@quantinuum.com designates 68.232.154.216 as permitted sender) smtp.mailfrom=bob.coecke@quantinuum.com X-Mimecast-Spam-Score: -4 X-Mimecast-Impersonation-Protect: Policy=MQ - Tag Header Only on Default Settings;Similar Internal Domain=false;Similar Monitored External Domain=false;Custom External Domain=false;Mimecast External Domain=false;Newly Observed Domain=false;Internal User Name=false;Custom Display Name List=false;Reply-to Address Mismatch=false;Targeted Threat Dictionary=false;Mimecast Threat Dictionary=false;Custom Threat Dictionary=false Content-Language: en-GB Content-Type: multipart/alternative; boundary="_000_MW5PR19MB560266820FDF25409F9A19A0E597AMW5PR19MB5602namp_" Return-Path: bounces+SRS=PVRgY=H6@mq.edu.au X-EOPAttributedMessage: 0 X-EOPTenantAttributedMessage: 82c514c1-a717-4087-be06-d40d2070ad52:0 X-MS-Exchange-SkipListedInternetSender: ip=[68.232.154.216];domain=esa2.hc5761-7.iphmx.com X-MS-Exchange-ExternalOriginalInternetSender: ip=[68.232.154.216];domain=esa2.hc5761-7.iphmx.com X-MS-Exchange-Transport-CrossTenantHeadersStripped: SY4AUS01FT015.eop-AUS01.prod.protection.outlook.com X-MS-PublicTrafficType: Email X-MS-Office365-Filtering-Correlation-Id-Prvs: bb1fcd25-dfe4-4787-ad0b-08dc00ac1489 X-Moderation-Data: 12/19/2023 4:09:55 PM X-LD-Processed: 82c514c1-a717-4087-be06-d40d2070ad52,ExtAddr,ExtAddr X-MS-Exchange-AtpMessageProperties: SA X-Microsoft-Antispam: BCL:0; X-Microsoft-Antispam-Message-Info: KnCjtNZ2RnxovGMYUMDevCk3/T+9kW1XlYB0IUSXSdpfUfIh9Zul1IOd6Ldeo5F1scueSxr3KVDvlQ9rkbtCV9mcrEk08B5uWgEmWfeCUzZyzvIQvr4ql8iyyDlvZW+zV9riKBJDn/aRXFT+sPGuHlgzXni4vMtt7RUTvcc4wrDD+xgaSxeH33xVV/UoTWwDUvBYDG14n7uI7sijy4As6CqokJJBxYePFKGX8FVStQoapD83Y3tCP747YPNRY303G4F8FbWo4EotrXqN5T+uvdHtcQuvegIOwP8eIDCZaaYIP69vq0NjZhs7Q77YLwiMw6ukcSvA7o0leoxG66GW04Vl0oe94qqHikxtW/SOvtsWipe1LCjtZRG6e4n/YB33sCaNRZ9LGWzRIGWC+XyzzqsqhzFDzrz76AQVslNzZ557LECUIqWB4fxa7lD2LOCH8CdS2PFc/++6hN3AmABWHWPpWIeC9Zdv4d7SIpAGi2QQ9q0gkPdNiUx2KVjGgjRsCHg92hDxEQHaxbAK3tPvnv3JT6hBmYOKjN7Hl6DtzApsf6KCl2ThflZ/WHroNvuXHOy9LkyWuvW7H6/ik9TMzHh4/PZrLm/BX9IUsQKnz+5Qt/hYDAjwu7qX1XNBApNES4uKRgiynCXYEdgRQOICaiqhWbwecdCdqXHr1oOEGpGJS1fqEhAYf3CAADAF3jDm9bHFj//ibTXhe9FjR8D3czk3x9B4v56w9GgoI5Gukqti6BHGtckyz93NToN19TLcIgxfS+JSHmXKpMsMkeSf4TZYOyCGZnLM2fFWuP7H8SbJnop3fKVqf+uOhJHjjJ0ClEDFmB0rZHJUFYd0+pzPdOxGSJiDGa9JbuMkmX/0SxTuVidlfyyDdu9dP4TiJSPEVxVT+FBVgnMJ+lnKGWireA== X-Forefront-Antispam-Report: CIP:103.13.69.101;CTRY:US;LANG:en;SCL:1;SRV:;IPV:NLI;SFV:NSPM;H:esa2.hc5761-7.iphmx.com;PTR:esa2.hc5761-7.iphmx.com;CAT:NONE;SFS:(13230031)(4636009)(136003)(346002)(376002)(39860400002)(396003)(230173577357003)(230273577357003)(8000799017)(82310400011)(451199024)(48200799006)(64100799003)(61400799012)(40470700004)(5660300002)(41300700001)(40460700003)(2906002)(7406005)(7416002)(7276002)(7366002)(7336002)(33656002)(55016003)(83380400001)(82740400003)(32650700002)(6506007)(53546011)(9686003)(45080400002)(7696005)(88732003)(89122003)(76576003)(19627235002)(166002)(26005)(7596003)(8936002)(19627405001)(8676002)(336012)(7636003)(86362001)(156005)(498600001)(32850700003)(52536014)(68406010)(70586007)(110136005)(40480700001)(316002)(786003)(35950700001)(41080700001);DIR:OUT;SFP:1102; X-Auto-Response-Suppress: DR, OOF, AutoReply X-MS-Exchange-CrossTenant-Network-Message-Id: b44514f2-caea-488b-cec0-08dc00ac4344 X-MS-Exchange-CrossTenant-Id: 82c514c1-a717-4087-be06-d40d2070ad52 X-MS-Exchange-CrossTenant-AuthSource: SY4AUS01FT015.eop-AUS01.prod.protection.outlook.com X-MS-Exchange-CrossTenant-AuthAs: Anonymous X-MS-Exchange-CrossTenant-FromEntityHeader: Internet X-MS-Exchange-CrossTenant-OriginalArrivalTime: 19 Dec 2023 16:09:58.1572 (UTC) X-MS-Exchange-CrossTenant-MailboxType: HOSTED X-MS-Exchange-CrossTenant-UserPrincipalName: UiYST5Er7p+pA4AK7StlhsIDWmDQzSAyUOOASvXWMxM1F/EupJoEYbiUcFeRdXVu2DV8l+FU6iuNJmJirAagKZyt4Q0fov/fCCT48q96bsm3PRfeaGD2PpUKek1/qzHd0TZdZlzJcBtnJA2SP/5UdbZqTNkApIkn/vlQJmdGgZWs2CeZ9b47AvlnlIY6mav8 X-MS-Exchange-Transport-CrossTenantHeadersStamped: SY4PR01MB5513 X-MS-Exchange-UnifiedGroup-DisplayName: Categories mailing list X-MS-Exchange-UnifiedGroup-Address: categories@mq.edu.au X-MS-Exchange-UnifiedGroup-MailboxGuid: 9c2f954e-92a7-451b-b723-a07075d7adb5 X-MS-Exchange-UnifiedGroup-CustomizedMessage: RedeemedBusinessGuests X-MS-Exchange-Parent-Message-Id: Auto-Submitted: auto-generated X-MS-Exchange-Generated-Message-Source: Throttled Fork Delivery Agent X-MS-Exchange-AntiSpam-MessageData-ChunkCount: 1 X-MS-Exchange-AntiSpam-MessageData-0: =?Windows-1252?Q?s1njnHcKRNj8dkZO+/gWzqsQ7j80AMMg9M1G9ge2G8qVEN5qawGLFXLY?= =?Windows-1252?Q?ZEjo9gDy9WBnMeuo6/UXa55hvbvGpst3Ucd8mZbffUOsGBb3hs431bwn?= =?Windows-1252?Q?nXvJWveO2JNx6OJRnicYSB83/9Eej5Nl0aZk4KbGIyNGq80nz5IqFOOj?= =?Windows-1252?Q?X2HZhDZm7fPSyL997e9biIwIMu6KcFB+JrZF4WqVmZfApc5NlgcbR2km?= =?Windows-1252?Q?igoZuapvHutAmdZsIKMK76CBk8I59lbHe1SGyZxNueCKO+IFkfYd3bis?= =?Windows-1252?Q?Kga5pIkjZNVRySlagAEDMxXlwHbJ7UYAIn7kXhPXPhs5H75W8I05gkNu?= =?Windows-1252?Q?Ac6ueBk/SOQMDscNVOarJ7bARor8VqiJW2ZRnzQZjXafkC0G1iUJG4SE?= =?Windows-1252?Q?ERPetMhU8TkEZ2XbQwkGUrFMH0JIBWqAOEyxX76QJWJ31jRej79F/xKi?= =?Windows-1252?Q?7lV0JBWLQdMNZarFC/iEMcUZHywN8GXSFRAKqKPV82clrR+WLAzgXcXk?= =?Windows-1252?Q?/k9go7MoPZKE9lZxqueDg3AaYnOSQpRd/y+cZcFSe5Ok6tM5ZtfcSKmy?= =?Windows-1252?Q?ZzrrBMoVq4Qh5FFOBgPwhSo55GBW5F7DPPxZN076tljy8uqNV4RZvnxX?= =?Windows-1252?Q?k0+cX8jAc4jrByGx4RfUK3JvomDZ4KwYHpWuZ0ghUOkx+Cvy4lx3lRFc?= =?Windows-1252?Q?p4hpl69olGMIBOD1nWVtvdrD2c2lowa9O5rPzLUonHc2llb9yNeDjPjF?= =?Windows-1252?Q?bsICG7GOR9Yza9z9yYz9sw4MJym0nlbLFaOVLWddUgGLFSW0NVg1rw0U?= =?Windows-1252?Q?mGoEgJyqoFtCXvhO4cAHnzMJTCaroEkPgLcoQZLIzYuKWkFwqUkxFMaG?= =?Windows-1252?Q?iIMaDWkIFf2Nf+2I7oiL9XWFbTM73abBy8UjS/QEXYUTUMs6EntAhFfL?= =?Windows-1252?Q?hKvONwbXWhwOesWfcwutKKRptIvRokFeMB3yMJIMIYUZGRm4C8/So/zO?= =?Windows-1252?Q?aPtbRG0eJRAZFCVPmyO1KNWvdVrn9LRNETuPu6eqM3H1cUspRfVII5O4?= =?Windows-1252?Q?KDuSKRdegqwYgYYcEFSY5wvza+msJQKdNapY8qD0f67MhM3V3BwP20zQ?= =?Windows-1252?Q?6VCOKu0verwGStSZHItdTU66GzrGOAnTzx5tNGhMc5FRMF6afCqDa5nM?= =?Windows-1252?Q?n5IBi+UmQanZN2rjdDrMLQN7aReTnTgjyF/QbbO38QLoXEhJt5TRoM5i?= =?Windows-1252?Q?s9AnOnN7uCeoab87aTUGnLj7KMrRWgSu4KKF/Vdln4jbHbDXqggF29fo?= =?Windows-1252?Q?9od2ELjEfghd1GSjOnzrznyeugbf89ZdWP53OmWHlNoCQpJ5?= X-OriginatorOrg: mq.edu.au --_000_MW5PR19MB560266820FDF25409F9A19A0E597AMW5PR19MB5602namp_ Content-Type: text/plain; charset="Windows-1252" Content-Transfer-Encoding: quoted-printable A bit of a shock. Been good friends with Phil ever since he called Jim at = home and I picked up the phone, around 2000. Whenever in UK he always visi= ted Oxford at the very least for a curry with us. The last time Phil was h= ere, just before pandemic, was at my daughter's b'day dinner, at a curry ho= use of course. ________________________________ From: Michael Barr, Prof. Sent: 19 December 2023 15:48 To: Prakash Panangaden ; Richard Blute ; Categories mailing list Subject: [EXT] Re: Phil Scott CAUTION: This email originated from outside of the organization. Do not cli= ck links or open attachments unless you recognize the sender and know the c= ontent is safe. I was very saddened to hear of Phil's death. I met him through Jim Lambek = (he may have been Jim's postdoc) and then he went to Ottawa where I met him= frequently. There was to have been a book titled Programs, Grammars, Argu= ments with Jim, Phil, and (maybe me), but I guess it will not happen. A ve= rsion is available on my web. RIP, Phil Michael ________________________________ From: Prakash Panangaden Sent: Tuesday, December 19, 2023 9:51 AM To: Richard Blute ; Categories mailing list Subject: Re: Phil Scott I am truly sorry to hear this dreadful news. Phil and Marcia have been fri= ends for nearly 40 years. I was never a category theorist myself, but I di= d use it often in my work on theoretical computer science. Phil was my gui= de through and mentor. We had been out of touch for some years because of = the pandemic, but we reconnected this year as were both having surgery at a= round the same time. I enjoyed his fun spirit and his insights into catego= rical logic and type theory. RIP Phil, we all miss you. Prakash Prakash Panangaden School of Computer Science McGill University Get Outlook for iOS ________________________________ From: Richard Blute Sent: Monday, December 18, 2023 11:10:17 PM To: Categories mailing list Subject: Phil Scott It is with great sadness that we convey the news to the category theory com= munity that our good friend and colleague Phil Scott passed away this morni= ng (18th December, 2023) after a long battle with cancer. Phil=92s many contributions to category theory are well known. Phil and Jim= Lambek essentially invented the field of categorical proof theory with a s= eries of papers that culminated in the book =93Introduction To Higher-Order= Categorical Logic=94, which is still the standard text on the subject. Phi= l=92s research went well beyond these initial works: he made major contribu= tions to theoretical computer science, linear logic, inverse semigroup theo= ry and recursion theory. Those of us who knew him personally will always think of him as a mentor, a= friend and a genuinely kind soul. Rick Blute Robin Cockett Simon Henry You're receiving this message because you're a member of the Categories mai= ling list group from Macquarie University. To take part in this conversatio= n, reply all to this message. View group files | Leave group | = Learn more about Microsoft 365 Groups --_000_MW5PR19MB560266820FDF25409F9A19A0E597AMW5PR19MB5602namp_ Content-Type: text/html; charset=WINDOWS-1252 Content-Transfer-Encoding: quoted-printable
A bit of a shock.  Been good friends with Phil ever since he called Ji= m at home and I picked up the phone, around 2000.  Whenever in UK he a= lways visited Oxford at the very least for a curry with us.  The last = time Phil was here, just before pandemic, was at my daughter's b'day dinner, at a curry house of course.     = ;
From: Michael Barr, Prof. &= lt;barr.michael@mcgill.ca>
Sent: 19 December 2023 15:48
To: Prakash Panangaden <prakash@cs.mcgill.ca>; Richard Blute &= lt;rblute@uottawa.ca>; Categories mailing list <categories@mq.edu.au&= gt;
Subject: [EXT] Re: Phil Scott
 

CAUTION: This email originated from ou= tside of the organization. Do not click links or open attachments unless yo= u recognize the sender and know the content is safe.

I was very saddened to hear of Phil's death.  I met = him through Jim Lambek (he may have been Jim's postdoc) and then he went to Ottawa where I met him frequently. = ; There was to have been a book titled Programs, Grammars, Arguments with J= im, Phil, and (maybe me), but I guess it will not happen.  A version i= s available on my web.

RIP, Phil

Michael

From: Prakash Panangaden = <prakash@cs.mcgill.ca>
Sent: Tuesday, December 19, 2023 9:51 AM
To: Richard Blute <rblute@uottawa.ca>; Categories mailing list= <categories@mq.edu.au>
Subject: Re: Phil Scott
 
I am truly sorry to hear this dreadful news.  Phil an= d Marcia have been friends for nearly 40 years.  I was never a categor= y theorist myself, but I did use it often in my work on theoretical compute= r science.  Phil was my guide through and mentor.  We had been out of touch for some years because of the pandemic, but= we reconnected this year as were both having surgery at around the same ti= me.  I enjoyed his fun spirit and his insights into categorical logic = and type theory.  RIP Phil, we all miss you.
Prakash

Prakash Panangaden
School of Computer Science
McGill University

From: Richard Blute <= ;rblute@uottawa.ca>
Sent: Monday, December 18, 2023 11:10:17 PM
To: Categories mailing list <categories@mq.edu.au>
Subject: Phil Scott
 

 

 

It i= s with great sadness that we convey the news to the category theory communi= ty that our good friend and colleague Phil Scott passed away this morning (18th December, 2023) after = a long battle with cancer.

&nbs= p;

Phil= =92s many contributions to category theory are well known. Phil and Jim Lam= bek essentially invented the field of categorical proof theory with a series of papers that culminated in the book =93Introd= uction To Higher-Order Categorical Logic=94, which is still the standard te= xt on the subject. Phil=92s research went well beyond these initial works: = he made major contributions to theoretical computer science, linear logic, inverse semigroup theory and recursion the= ory.

 

Thos= e of us who knew him personally will always think of him as a mentor, a fri= end and a genuinely kind soul.

 

Rick Blute

Robi= n Cockett

Simo= n Henry

 

 
 
You're receiving this message because you're a member of the Categories mai= ling list group from Macquarie University. To take part in this conversatio= n, reply all to this message.
 
View group files   |   Leav= e group   |&n= bsp;  Learn more about Microsoft 365 Groups
 
--_000_MW5PR19MB560266820FDF25409F9A19A0E597AMW5PR19MB5602namp_--