{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2006:DD6FDKAGWIE6XXDEXU33CMFJ75","short_pith_number":"pith:DD6FDKAG","canonical_record":{"source":{"id":"cs/0609002","kind":"arxiv","version":2},"metadata":{"license":"","primary_cat":"cs.LO","submitted_at":"2006-09-01T12:56:02Z","cross_cats_sorted":["cs.PL"],"title_canon_sha256":"3388ee90348473f7488987c2368a42faaab597f560c8fb8e60f970f0b0715d08","abstract_canon_sha256":"92dfe586481568ded341d9d52049c6409d1d93fdebcf95f7559f8bdad3500ccc"},"schema_version":"1.0"},"canonical_sha256":"18fc51a806b209ebdc64bd37b130a9ff4f4c3314f7ccf10724f992a573bd8cf6","source":{"kind":"arxiv","id":"cs/0609002","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"cs/0609002","created_at":"2026-05-18T01:08:54Z"},{"alias_kind":"arxiv_version","alias_value":"cs/0609002v2","created_at":"2026-05-18T01:08:54Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.cs/0609002","created_at":"2026-05-18T01:08:54Z"},{"alias_kind":"pith_short_12","alias_value":"DD6FDKAGWIE6","created_at":"2026-05-18T12:25:53Z"},{"alias_kind":"pith_short_16","alias_value":"DD6FDKAGWIE6XXDE","created_at":"2026-05-18T12:25:53Z"},{"alias_kind":"pith_short_8","alias_value":"DD6FDKAG","created_at":"2026-05-18T12:25:53Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2006:DD6FDKAGWIE6XXDEXU33CMFJ75","target":"record","payload":{"canonical_record":{"source":{"id":"cs/0609002","kind":"arxiv","version":2},"metadata":{"license":"","primary_cat":"cs.LO","submitted_at":"2006-09-01T12:56:02Z","cross_cats_sorted":["cs.PL"],"title_canon_sha256":"3388ee90348473f7488987c2368a42faaab597f560c8fb8e60f970f0b0715d08","abstract_canon_sha256":"92dfe586481568ded341d9d52049c6409d1d93fdebcf95f7559f8bdad3500ccc"},"schema_version":"1.0"},"canonical_sha256":"18fc51a806b209ebdc64bd37b130a9ff4f4c3314f7ccf10724f992a573bd8cf6","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:08:54.528916Z","signature_b64":"lzNO9fOiUNp2nocLIj4mBwkMMhti9jCQbHmbIZuR/xkKAn/nazzIOl6HCa+TyRfUc2fB7VNvkrKgbY79gRgADQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"18fc51a806b209ebdc64bd37b130a9ff4f4c3314f7ccf10724f992a573bd8cf6","last_reissued_at":"2026-05-18T01:08:54.528341Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:08:54.528341Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"cs/0609002","source_version":2,"attestation_state":"computed"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-18T01:08:54Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"x+bOVIsfTsSXrf9VvJ2B/CDs0NZgUJdy9udaEWvPQADwRx6uITcGgw9DmdGNkw9wHyWitAdafNoxgyssStywCQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-06T15:21:35.964185Z"},"content_sha256":"b52fbad8b8d14a5a2c819f77b4bacb98dae96aadf0168ee6f4dcb8471908a63f","schema_version":"1.0","event_id":"sha256:b52fbad8b8d14a5a2c819f77b4bacb98dae96aadf0168ee6f4dcb8471908a63f"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2006:DD6FDKAGWIE6XXDEXU33CMFJ75","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"On the confluence of lambda-calculus with conditional rewriting","license":"","headline":"","cross_cats":["cs.PL"],"primary_cat":"cs.LO","authors_text":"Claude Kirchner (INRIA Lorraine - LORIA), Colin Riba (INRIA Lorraine - LORIA), Fr\\'ed\\'eric Blanqui (INRIA Lorraine - LORIA)","submitted_at":"2006-09-01T12:56:02Z","abstract_excerpt":"The confluence of untyped lambda-calculus with unconditional rewriting has already been studied in various directions. In this paper, we investigate the confluence of lambda-calculus with conditional rewriting and provide general results in two directions. First, when conditional rules are algebraic. This extends results of Muller and Dougherty for unconditional rewriting. Two cases are considered, whether beta-reduction is allowed or not in the evaluation of conditions. Moreover, Dougherty's result is improved from the assumption of strongly normalizing beta-reduction to weakly normalizing be"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"cs/0609002","kind":"arxiv","version":2},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"references":{"count":0,"sample":[],"resolved_work":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","internal_anchors":0},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"},"verdict_id":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-18T01:08:54Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"6gft5sj8CcrOA+ckqPJ60cQcgw9U1tsJfID3k7rWnJizki1Zltwsd98zgSDG3oUs5LA5gXJEULU8ySqa0tfGCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-06T15:21:35.964903Z"},"content_sha256":"76c7c863c256dea91c59670994f74b638b2e6f4b8c1eb5943df1701389b719c4","schema_version":"1.0","event_id":"sha256:76c7c863c256dea91c59670994f74b638b2e6f4b8c1eb5943df1701389b719c4"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/DD6FDKAGWIE6XXDEXU33CMFJ75/bundle.json","state_url":"https://pith.science/pith/DD6FDKAGWIE6XXDEXU33CMFJ75/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/DD6FDKAGWIE6XXDEXU33CMFJ75/bundle.json","status":"primary"}],"public_keys":[{"key_id":"pith-v1-2026-05","algorithm":"ed25519","format":"raw","public_key_b64":"stVStoiQhXFxp4s2pdzPNoqVNBMojDU/fJ2db5S3CbM=","public_key_hex":"b2d552b68890857171a78b36a5dccf368a953413288c353f7c9d9d6f94b709b3","fingerprint_sha256_b32_first128bits":"RVFV5Z2OI2J3ZUO7ERDEBCYNKS","fingerprint_sha256_hex":"8d4b5ee74e4693bcd1df2446408b0d54","rotates_at":null,"url":"https://pith.science/pith-signing-key.json","notes":"Pith uses this Ed25519 key to sign canonical record SHA-256 digests. Verify with: ed25519_verify(public_key, message=canonical_sha256_bytes, signature=base64decode(signature_b64))."}],"merge_version":"pith-open-graph-merge-v1","built_at":"2026-06-06T15:21:35Z","links":{"resolver":"https://pith.science/pith/DD6FDKAGWIE6XXDEXU33CMFJ75","bundle":"https://pith.science/pith/DD6FDKAGWIE6XXDEXU33CMFJ75/bundle.json","state":"https://pith.science/pith/DD6FDKAGWIE6XXDEXU33CMFJ75/state.json","well_known_bundle":"https://pith.science/.well-known/pith/DD6FDKAGWIE6XXDEXU33CMFJ75/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2006:DD6FDKAGWIE6XXDEXU33CMFJ75","merge_version":"pith-open-graph-merge-v1","event_count":2,"valid_event_count":2,"invalid_event_count":0,"equivocation_count":0,"current":{"canonical_record":{"metadata":{"abstract_canon_sha256":"92dfe586481568ded341d9d52049c6409d1d93fdebcf95f7559f8bdad3500ccc","cross_cats_sorted":["cs.PL"],"license":"","primary_cat":"cs.LO","submitted_at":"2006-09-01T12:56:02Z","title_canon_sha256":"3388ee90348473f7488987c2368a42faaab597f560c8fb8e60f970f0b0715d08"},"schema_version":"1.0","source":{"id":"cs/0609002","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"cs/0609002","created_at":"2026-05-18T01:08:54Z"},{"alias_kind":"arxiv_version","alias_value":"cs/0609002v2","created_at":"2026-05-18T01:08:54Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.cs/0609002","created_at":"2026-05-18T01:08:54Z"},{"alias_kind":"pith_short_12","alias_value":"DD6FDKAGWIE6","created_at":"2026-05-18T12:25:53Z"},{"alias_kind":"pith_short_16","alias_value":"DD6FDKAGWIE6XXDE","created_at":"2026-05-18T12:25:53Z"},{"alias_kind":"pith_short_8","alias_value":"DD6FDKAG","created_at":"2026-05-18T12:25:53Z"}],"graph_snapshots":[{"event_id":"sha256:76c7c863c256dea91c59670994f74b638b2e6f4b8c1eb5943df1701389b719c4","target":"graph","created_at":"2026-05-18T01:08:54Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"graph_snapshot":{"author_claims":{"count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","strong_count":0},"builder_version":"pith-number-builder-2026-05-17-v1","claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"paper":{"abstract_excerpt":"The confluence of untyped lambda-calculus with unconditional rewriting has already been studied in various directions. In this paper, we investigate the confluence of lambda-calculus with conditional rewriting and provide general results in two directions. First, when conditional rules are algebraic. This extends results of Muller and Dougherty for unconditional rewriting. Two cases are considered, whether beta-reduction is allowed or not in the evaluation of conditions. Moreover, Dougherty's result is improved from the assumption of strongly normalizing beta-reduction to weakly normalizing be","authors_text":"Claude Kirchner (INRIA Lorraine - LORIA), Colin Riba (INRIA Lorraine - LORIA), Fr\\'ed\\'eric Blanqui (INRIA Lorraine - LORIA)","cross_cats":["cs.PL"],"headline":"","license":"","primary_cat":"cs.LO","submitted_at":"2006-09-01T12:56:02Z","title":"On the confluence of lambda-calculus with conditional rewriting"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"cs/0609002","kind":"arxiv","version":2},"verdict":{"created_at":null,"id":null,"model_set":{},"one_line_summary":"","pipeline_version":null,"pith_extraction_headline":"","strongest_claim":"","weakest_assumption":""}},"verdict_id":null}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:b52fbad8b8d14a5a2c819f77b4bacb98dae96aadf0168ee6f4dcb8471908a63f","target":"record","created_at":"2026-05-18T01:08:54Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"attestation_state":"computed","canonical_record":{"metadata":{"abstract_canon_sha256":"92dfe586481568ded341d9d52049c6409d1d93fdebcf95f7559f8bdad3500ccc","cross_cats_sorted":["cs.PL"],"license":"","primary_cat":"cs.LO","submitted_at":"2006-09-01T12:56:02Z","title_canon_sha256":"3388ee90348473f7488987c2368a42faaab597f560c8fb8e60f970f0b0715d08"},"schema_version":"1.0","source":{"id":"cs/0609002","kind":"arxiv","version":2}},"canonical_sha256":"18fc51a806b209ebdc64bd37b130a9ff4f4c3314f7ccf10724f992a573bd8cf6","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"18fc51a806b209ebdc64bd37b130a9ff4f4c3314f7ccf10724f992a573bd8cf6","first_computed_at":"2026-05-18T01:08:54.528341Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:08:54.528341Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"lzNO9fOiUNp2nocLIj4mBwkMMhti9jCQbHmbIZuR/xkKAn/nazzIOl6HCa+TyRfUc2fB7VNvkrKgbY79gRgADQ==","signature_status":"signed_v1","signed_at":"2026-05-18T01:08:54.528916Z","signed_message":"canonical_sha256_bytes"},"source_id":"cs/0609002","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:b52fbad8b8d14a5a2c819f77b4bacb98dae96aadf0168ee6f4dcb8471908a63f","sha256:76c7c863c256dea91c59670994f74b638b2e6f4b8c1eb5943df1701389b719c4"],"state_sha256":"1b0999911dfdf0136a1692235278be03046a5fdde08e337e33c3b591f9178755"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"MUutrp04/vWOQVGZRYV06FhS8+17HJX4ZXT0odgGfDkTt5kml0ALwle0pki4l2CAJbojEF9KCQ0elAW4/0sDCg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-06T15:21:35.968897Z","bundle_sha256":"545237e55b429bd42973850add1c04a45c13c987b4eae96603171335dd49f919"}}