{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2010:QRAKXCRRJHOTLP5FYUJE6SACXB","short_pith_number":"pith:QRAKXCRR","canonical_record":{"source":{"id":"1001.3368","kind":"arxiv","version":4},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2010-01-19T17:38:25Z","cross_cats_sorted":["cs.PL"],"title_canon_sha256":"470f863c4da8e8575843661f7db66119d4489ef83443b3b8ffe589702e5e2a66","abstract_canon_sha256":"469396bfea5f5c48584149e2049caf72f6787f426f4cea6c764b02f407295540"},"schema_version":"1.0"},"canonical_sha256":"8440ab8a3149dd35bfa5c5124f4802b87e534a6ebc0552f212bbe2d779f54129","source":{"kind":"arxiv","id":"1001.3368","version":4},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1001.3368","created_at":"2026-05-18T00:56:47Z"},{"alias_kind":"arxiv_version","alias_value":"1001.3368v4","created_at":"2026-05-18T00:56:47Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1001.3368","created_at":"2026-05-18T00:56:47Z"},{"alias_kind":"pith_short_12","alias_value":"QRAKXCRRJHOT","created_at":"2026-05-18T12:26:12Z"},{"alias_kind":"pith_short_16","alias_value":"QRAKXCRRJHOTLP5F","created_at":"2026-05-18T12:26:12Z"},{"alias_kind":"pith_short_8","alias_value":"QRAKXCRR","created_at":"2026-05-18T12:26:12Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2010:QRAKXCRRJHOTLP5FYUJE6SACXB","target":"record","payload":{"canonical_record":{"source":{"id":"1001.3368","kind":"arxiv","version":4},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2010-01-19T17:38:25Z","cross_cats_sorted":["cs.PL"],"title_canon_sha256":"470f863c4da8e8575843661f7db66119d4489ef83443b3b8ffe589702e5e2a66","abstract_canon_sha256":"469396bfea5f5c48584149e2049caf72f6787f426f4cea6c764b02f407295540"},"schema_version":"1.0"},"canonical_sha256":"8440ab8a3149dd35bfa5c5124f4802b87e534a6ebc0552f212bbe2d779f54129","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:56:47.177349Z","signature_b64":"b91Z6jr7owvefGO+mvbvLXhgbF9eP0Nxq5r7gCh4FyIJ4JogzRPi9hTEpgZ0oHrzIuZUdVd3zqzRH7mkH9VYCw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"8440ab8a3149dd35bfa5c5124f4802b87e534a6ebc0552f212bbe2d779f54129","last_reissued_at":"2026-05-18T00:56:47.176728Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:56:47.176728Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1001.3368","source_version":4,"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-18T00:56:47Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"GrnrqgV9hOzeAU0oPMrKUQ8fiFK6D9Abthj5LA516aI6SV/4IA+6HRTTF8XShI1gjQrQo3bczbgBSZMDcEOHAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-28T14:13:54.502874Z"},"content_sha256":"1db79af919ec4fefeddf84248d753d5ba5ac750a1d57ef8c6c070170b84075a2","schema_version":"1.0","event_id":"sha256:1db79af919ec4fefeddf84248d753d5ba5ac750a1d57ef8c6c070170b84075a2"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2010:QRAKXCRRJHOTLP5FYUJE6SACXB","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Linear Recursion","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.PL"],"primary_cat":"cs.LO","authors_text":"(2) King's College London, (3) \\'Ecole Polytechnique), Ian Mackie (3) ((1) University of Porto, Maribel Fern\\'andez (2), M\\'ario Florido (1), Sandra Alves (1)","submitted_at":"2010-01-19T17:38:25Z","abstract_excerpt":"We define two extensions of the typed linear lambda-calculus that yield minimal Turing-complete systems. The extensions are based on unbounded recursion in one case, and bounded recursion with minimisation in the other. We show that both approaches are compatible with linearity and typeability constraints. Both extensions of the typed linear lambda-calculus are minimal, in the sense that taking out any of the components breaks the universality of the system. We discuss implementation techniques that exploit the linearity of the calculi. Finally, we apply the results to languages with fixpoint "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1001.3368","kind":"arxiv","version":4},"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-18T00:56:47Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"0/+6VdmXKJAY70SwCenQANNYYVV+LSNrrCwp2otvZLury1If0Zuk229+s5h4KQsg2KDW1R91BsbRsxNurZXaAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-28T14:13:54.503229Z"},"content_sha256":"1c59b727a5ed6fe10997d3d360099b4543af9d048d9ae5215040207da0b87c42","schema_version":"1.0","event_id":"sha256:1c59b727a5ed6fe10997d3d360099b4543af9d048d9ae5215040207da0b87c42"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/QRAKXCRRJHOTLP5FYUJE6SACXB/bundle.json","state_url":"https://pith.science/pith/QRAKXCRRJHOTLP5FYUJE6SACXB/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/QRAKXCRRJHOTLP5FYUJE6SACXB/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-05-28T14:13:54Z","links":{"resolver":"https://pith.science/pith/QRAKXCRRJHOTLP5FYUJE6SACXB","bundle":"https://pith.science/pith/QRAKXCRRJHOTLP5FYUJE6SACXB/bundle.json","state":"https://pith.science/pith/QRAKXCRRJHOTLP5FYUJE6SACXB/state.json","well_known_bundle":"https://pith.science/.well-known/pith/QRAKXCRRJHOTLP5FYUJE6SACXB/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2010:QRAKXCRRJHOTLP5FYUJE6SACXB","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":"469396bfea5f5c48584149e2049caf72f6787f426f4cea6c764b02f407295540","cross_cats_sorted":["cs.PL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2010-01-19T17:38:25Z","title_canon_sha256":"470f863c4da8e8575843661f7db66119d4489ef83443b3b8ffe589702e5e2a66"},"schema_version":"1.0","source":{"id":"1001.3368","kind":"arxiv","version":4}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1001.3368","created_at":"2026-05-18T00:56:47Z"},{"alias_kind":"arxiv_version","alias_value":"1001.3368v4","created_at":"2026-05-18T00:56:47Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1001.3368","created_at":"2026-05-18T00:56:47Z"},{"alias_kind":"pith_short_12","alias_value":"QRAKXCRRJHOT","created_at":"2026-05-18T12:26:12Z"},{"alias_kind":"pith_short_16","alias_value":"QRAKXCRRJHOTLP5F","created_at":"2026-05-18T12:26:12Z"},{"alias_kind":"pith_short_8","alias_value":"QRAKXCRR","created_at":"2026-05-18T12:26:12Z"}],"graph_snapshots":[{"event_id":"sha256:1c59b727a5ed6fe10997d3d360099b4543af9d048d9ae5215040207da0b87c42","target":"graph","created_at":"2026-05-18T00:56:47Z","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":"We define two extensions of the typed linear lambda-calculus that yield minimal Turing-complete systems. The extensions are based on unbounded recursion in one case, and bounded recursion with minimisation in the other. We show that both approaches are compatible with linearity and typeability constraints. Both extensions of the typed linear lambda-calculus are minimal, in the sense that taking out any of the components breaks the universality of the system. We discuss implementation techniques that exploit the linearity of the calculi. Finally, we apply the results to languages with fixpoint ","authors_text":"(2) King's College London, (3) \\'Ecole Polytechnique), Ian Mackie (3) ((1) University of Porto, Maribel Fern\\'andez (2), M\\'ario Florido (1), Sandra Alves (1)","cross_cats":["cs.PL"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2010-01-19T17:38:25Z","title":"Linear Recursion"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1001.3368","kind":"arxiv","version":4},"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:1db79af919ec4fefeddf84248d753d5ba5ac750a1d57ef8c6c070170b84075a2","target":"record","created_at":"2026-05-18T00:56:47Z","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":"469396bfea5f5c48584149e2049caf72f6787f426f4cea6c764b02f407295540","cross_cats_sorted":["cs.PL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2010-01-19T17:38:25Z","title_canon_sha256":"470f863c4da8e8575843661f7db66119d4489ef83443b3b8ffe589702e5e2a66"},"schema_version":"1.0","source":{"id":"1001.3368","kind":"arxiv","version":4}},"canonical_sha256":"8440ab8a3149dd35bfa5c5124f4802b87e534a6ebc0552f212bbe2d779f54129","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"8440ab8a3149dd35bfa5c5124f4802b87e534a6ebc0552f212bbe2d779f54129","first_computed_at":"2026-05-18T00:56:47.176728Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:56:47.176728Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"b91Z6jr7owvefGO+mvbvLXhgbF9eP0Nxq5r7gCh4FyIJ4JogzRPi9hTEpgZ0oHrzIuZUdVd3zqzRH7mkH9VYCw==","signature_status":"signed_v1","signed_at":"2026-05-18T00:56:47.177349Z","signed_message":"canonical_sha256_bytes"},"source_id":"1001.3368","source_kind":"arxiv","source_version":4}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:1db79af919ec4fefeddf84248d753d5ba5ac750a1d57ef8c6c070170b84075a2","sha256:1c59b727a5ed6fe10997d3d360099b4543af9d048d9ae5215040207da0b87c42"],"state_sha256":"edb8c314298e5af6fc7ea8329f5988904c9b21d99413a7f4b078d89523aa712b"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"OMrD8HzEtMMBEARgMq27d/IHdwx5V6ZgEg3PxRT58ZJj3EEEmlRmkgFVpj6YlzFjFk74gXq2nNe09pvhIrbZAw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-28T14:13:54.505257Z","bundle_sha256":"b5fd985b535f229352b926f323dd56d595d6b6789ba72c0235b6f28005f1f124"}}