{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2014:7OEAAVXTBDU22DK3YPN5R6OQOZ","short_pith_number":"pith:7OEAAVXT","canonical_record":{"source":{"id":"1406.1310","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2014-06-05T09:31:40Z","cross_cats_sorted":[],"title_canon_sha256":"aed90c5126a6bde31dfec5b4451a6e659dbd887736ce5a636eb4ff57572a5c4f","abstract_canon_sha256":"d1520dc66cd912296c4c38627adab65ea39d93de2250592c1db639323e1a9781"},"schema_version":"1.0"},"canonical_sha256":"fb880056f308e9ad0d5bc3dbd8f9d076683e63db7378d878b7331dce224e916f","source":{"kind":"arxiv","id":"1406.1310","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1406.1310","created_at":"2026-05-18T02:41:53Z"},{"alias_kind":"arxiv_version","alias_value":"1406.1310v1","created_at":"2026-05-18T02:41:53Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1406.1310","created_at":"2026-05-18T02:41:53Z"},{"alias_kind":"pith_short_12","alias_value":"7OEAAVXTBDU2","created_at":"2026-05-18T12:28:19Z"},{"alias_kind":"pith_short_16","alias_value":"7OEAAVXTBDU22DK3","created_at":"2026-05-18T12:28:19Z"},{"alias_kind":"pith_short_8","alias_value":"7OEAAVXT","created_at":"2026-05-18T12:28:19Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2014:7OEAAVXTBDU22DK3YPN5R6OQOZ","target":"record","payload":{"canonical_record":{"source":{"id":"1406.1310","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2014-06-05T09:31:40Z","cross_cats_sorted":[],"title_canon_sha256":"aed90c5126a6bde31dfec5b4451a6e659dbd887736ce5a636eb4ff57572a5c4f","abstract_canon_sha256":"d1520dc66cd912296c4c38627adab65ea39d93de2250592c1db639323e1a9781"},"schema_version":"1.0"},"canonical_sha256":"fb880056f308e9ad0d5bc3dbd8f9d076683e63db7378d878b7331dce224e916f","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:41:53.052968Z","signature_b64":"oHfJTQjtjLDybh9VlQYyLLInOTrxBDu+i7brIDM6SEW12wml6wseg/P+Diob4M/+2v+wzI4DzuEiRtN2LRaVCQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"fb880056f308e9ad0d5bc3dbd8f9d076683e63db7378d878b7331dce224e916f","last_reissued_at":"2026-05-18T02:41:53.052230Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:41:53.052230Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1406.1310","source_version":1,"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-18T02:41:53Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"pENMvHJz46s+dCpCDNricEfQXrJ2+hw7oQA+PM1+s4OtHaG2af9fTV/gXQAgzP/NU/a2kHksfrRbBB5fFLeqAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-27T03:50:14.186330Z"},"content_sha256":"937bad69d3721425156257ec76cfbf4e501daf9135a239bdce17a0aee3be3ec6","schema_version":"1.0","event_id":"sha256:937bad69d3721425156257ec76cfbf4e501daf9135a239bdce17a0aee3be3ec6"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2014:7OEAAVXTBDU22DK3YPN5R6OQOZ","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Finite Vector Spaces as Model of Simply-Typed Lambda-Calculi","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Beno\\^it Valiron, Steve Zdancewic","submitted_at":"2014-06-05T09:31:40Z","abstract_excerpt":"In this paper we use finite vector spaces (finite dimension, over finite fields) as a non-standard computational model of linear logic. We first define a simple, finite PCF-like lambda-calculus with booleans, and then we discuss two finite models, one based on finite sets and the other on finite vector spaces. The first model is shown to be fully complete with respect to the operational semantics of the language. The second model is not complete, but we develop an algebraic extension of the finite lambda calculus that recovers completeness. The relationship between the two semantics is describ"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1406.1310","kind":"arxiv","version":1},"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-18T02:41:53Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"NqgqKzRAtcRIUNeovvtwMh6xbgeOgOODRT1zjaOBOQW/+Eu67r+eJG803McN8CJOdum7bqWXQU1/rof0TehPAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-27T03:50:14.186676Z"},"content_sha256":"7f8e4397136047cccc1e30c4b4c59f1faf8093267e6891cdb61ae59a8186ff73","schema_version":"1.0","event_id":"sha256:7f8e4397136047cccc1e30c4b4c59f1faf8093267e6891cdb61ae59a8186ff73"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/7OEAAVXTBDU22DK3YPN5R6OQOZ/bundle.json","state_url":"https://pith.science/pith/7OEAAVXTBDU22DK3YPN5R6OQOZ/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/7OEAAVXTBDU22DK3YPN5R6OQOZ/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-27T03:50:14Z","links":{"resolver":"https://pith.science/pith/7OEAAVXTBDU22DK3YPN5R6OQOZ","bundle":"https://pith.science/pith/7OEAAVXTBDU22DK3YPN5R6OQOZ/bundle.json","state":"https://pith.science/pith/7OEAAVXTBDU22DK3YPN5R6OQOZ/state.json","well_known_bundle":"https://pith.science/.well-known/pith/7OEAAVXTBDU22DK3YPN5R6OQOZ/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2014:7OEAAVXTBDU22DK3YPN5R6OQOZ","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":"d1520dc66cd912296c4c38627adab65ea39d93de2250592c1db639323e1a9781","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2014-06-05T09:31:40Z","title_canon_sha256":"aed90c5126a6bde31dfec5b4451a6e659dbd887736ce5a636eb4ff57572a5c4f"},"schema_version":"1.0","source":{"id":"1406.1310","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1406.1310","created_at":"2026-05-18T02:41:53Z"},{"alias_kind":"arxiv_version","alias_value":"1406.1310v1","created_at":"2026-05-18T02:41:53Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1406.1310","created_at":"2026-05-18T02:41:53Z"},{"alias_kind":"pith_short_12","alias_value":"7OEAAVXTBDU2","created_at":"2026-05-18T12:28:19Z"},{"alias_kind":"pith_short_16","alias_value":"7OEAAVXTBDU22DK3","created_at":"2026-05-18T12:28:19Z"},{"alias_kind":"pith_short_8","alias_value":"7OEAAVXT","created_at":"2026-05-18T12:28:19Z"}],"graph_snapshots":[{"event_id":"sha256:7f8e4397136047cccc1e30c4b4c59f1faf8093267e6891cdb61ae59a8186ff73","target":"graph","created_at":"2026-05-18T02:41:53Z","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":"In this paper we use finite vector spaces (finite dimension, over finite fields) as a non-standard computational model of linear logic. We first define a simple, finite PCF-like lambda-calculus with booleans, and then we discuss two finite models, one based on finite sets and the other on finite vector spaces. The first model is shown to be fully complete with respect to the operational semantics of the language. The second model is not complete, but we develop an algebraic extension of the finite lambda calculus that recovers completeness. The relationship between the two semantics is describ","authors_text":"Beno\\^it Valiron, Steve Zdancewic","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2014-06-05T09:31:40Z","title":"Finite Vector Spaces as Model of Simply-Typed Lambda-Calculi"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1406.1310","kind":"arxiv","version":1},"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:937bad69d3721425156257ec76cfbf4e501daf9135a239bdce17a0aee3be3ec6","target":"record","created_at":"2026-05-18T02:41:53Z","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":"d1520dc66cd912296c4c38627adab65ea39d93de2250592c1db639323e1a9781","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2014-06-05T09:31:40Z","title_canon_sha256":"aed90c5126a6bde31dfec5b4451a6e659dbd887736ce5a636eb4ff57572a5c4f"},"schema_version":"1.0","source":{"id":"1406.1310","kind":"arxiv","version":1}},"canonical_sha256":"fb880056f308e9ad0d5bc3dbd8f9d076683e63db7378d878b7331dce224e916f","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"fb880056f308e9ad0d5bc3dbd8f9d076683e63db7378d878b7331dce224e916f","first_computed_at":"2026-05-18T02:41:53.052230Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:41:53.052230Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"oHfJTQjtjLDybh9VlQYyLLInOTrxBDu+i7brIDM6SEW12wml6wseg/P+Diob4M/+2v+wzI4DzuEiRtN2LRaVCQ==","signature_status":"signed_v1","signed_at":"2026-05-18T02:41:53.052968Z","signed_message":"canonical_sha256_bytes"},"source_id":"1406.1310","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:937bad69d3721425156257ec76cfbf4e501daf9135a239bdce17a0aee3be3ec6","sha256:7f8e4397136047cccc1e30c4b4c59f1faf8093267e6891cdb61ae59a8186ff73"],"state_sha256":"468c77bcb0d110e5d155f893153c7fd63a87cd5dd37c0b3684a1e10c519a73e2"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"M3C9AnZ5uRwxRQQCrq/zhl0k46fJkT1cXuxTiCMHdlGI++kcs0U6o7x3KWkV358GvAyz49japTpf3/C4ZVITAw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-27T03:50:14.189204Z","bundle_sha256":"9f5db782319b0dc1481f58bb376e8f72134f9d699392ef20f36d0905ed58c2e1"}}