{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2017:5UMKQMGMBQA7CV37WBEYNBB4ER","short_pith_number":"pith:5UMKQMGM","schema_version":"1.0","canonical_sha256":"ed18a830cc0c01f1577fb04986843c2470ddcfd5ca955f7b45d921ae087b3427","source":{"kind":"arxiv","id":"1712.09302","version":1},"attestation_state":"computed","paper":{"title":"On the Semantics of Intensionality and Intensional Recursion","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.PL","math.CT","math.LO"],"primary_cat":"cs.LO","authors_text":"G. A. Kavvos","submitted_at":"2017-12-26T16:29:51Z","abstract_excerpt":"Intensionality is a phenomenon that occurs in logic and computation. In the most general sense, a function is intensional if it operates at a level finer than (extensional) equality. This is a familiar setting for computer scientists, who often study different programs or processes that are interchangeable, i.e. extensionally equal, even though they are not implemented in the same way, so intensionally distinct. Concomitant with intensionality is the phenomenon of intensional recursion, which refers to the ability of a program to have access to its own code. In computability theory, intensiona"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"1712.09302","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2017-12-26T16:29:51Z","cross_cats_sorted":["cs.PL","math.CT","math.LO"],"title_canon_sha256":"5bf420fad76d81d884984c3911f64955d6347a6bd62502e3fc834b5182c63f9f","abstract_canon_sha256":"aa2c4024b6792c98eb419347bf886c26e63d65023734782568569a59f9ff9f9b"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:27:13.988836Z","signature_b64":"mSrLKvXj9+5D/NZY6jFEszlxHmHAxXfNh0ZF50J9A2dB708euPHsfo1vwAZSQ0j+14iriUPAVyhKhFSxP3abCg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"ed18a830cc0c01f1577fb04986843c2470ddcfd5ca955f7b45d921ae087b3427","last_reissued_at":"2026-05-18T00:27:13.988417Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:27:13.988417Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"On the Semantics of Intensionality and Intensional Recursion","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.PL","math.CT","math.LO"],"primary_cat":"cs.LO","authors_text":"G. A. Kavvos","submitted_at":"2017-12-26T16:29:51Z","abstract_excerpt":"Intensionality is a phenomenon that occurs in logic and computation. In the most general sense, a function is intensional if it operates at a level finer than (extensional) equality. This is a familiar setting for computer scientists, who often study different programs or processes that are interchangeable, i.e. extensionally equal, even though they are not implemented in the same way, so intensionally distinct. Concomitant with intensionality is the phenomenon of intensional recursion, which refers to the ability of a program to have access to its own code. In computability theory, intensiona"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1712.09302","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"},"aliases":[{"alias_kind":"arxiv","alias_value":"1712.09302","created_at":"2026-05-18T00:27:13.988481+00:00"},{"alias_kind":"arxiv_version","alias_value":"1712.09302v1","created_at":"2026-05-18T00:27:13.988481+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1712.09302","created_at":"2026-05-18T00:27:13.988481+00:00"},{"alias_kind":"pith_short_12","alias_value":"5UMKQMGMBQA7","created_at":"2026-05-18T12:31:00.734936+00:00"},{"alias_kind":"pith_short_16","alias_value":"5UMKQMGMBQA7CV37","created_at":"2026-05-18T12:31:00.734936+00:00"},{"alias_kind":"pith_short_8","alias_value":"5UMKQMGM","created_at":"2026-05-18T12:31:00.734936+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/5UMKQMGMBQA7CV37WBEYNBB4ER","json":"https://pith.science/pith/5UMKQMGMBQA7CV37WBEYNBB4ER.json","graph_json":"https://pith.science/api/pith-number/5UMKQMGMBQA7CV37WBEYNBB4ER/graph.json","events_json":"https://pith.science/api/pith-number/5UMKQMGMBQA7CV37WBEYNBB4ER/events.json","paper":"https://pith.science/paper/5UMKQMGM"},"agent_actions":{"view_html":"https://pith.science/pith/5UMKQMGMBQA7CV37WBEYNBB4ER","download_json":"https://pith.science/pith/5UMKQMGMBQA7CV37WBEYNBB4ER.json","view_paper":"https://pith.science/paper/5UMKQMGM","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1712.09302&json=true","fetch_graph":"https://pith.science/api/pith-number/5UMKQMGMBQA7CV37WBEYNBB4ER/graph.json","fetch_events":"https://pith.science/api/pith-number/5UMKQMGMBQA7CV37WBEYNBB4ER/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/5UMKQMGMBQA7CV37WBEYNBB4ER/action/timestamp_anchor","attest_storage":"https://pith.science/pith/5UMKQMGMBQA7CV37WBEYNBB4ER/action/storage_attestation","attest_author":"https://pith.science/pith/5UMKQMGMBQA7CV37WBEYNBB4ER/action/author_attestation","sign_citation":"https://pith.science/pith/5UMKQMGMBQA7CV37WBEYNBB4ER/action/citation_signature","submit_replication":"https://pith.science/pith/5UMKQMGMBQA7CV37WBEYNBB4ER/action/replication_record"}},"created_at":"2026-05-18T00:27:13.988481+00:00","updated_at":"2026-05-18T00:27:13.988481+00:00"}