Persistence–Formation Feedback: The Structural Recursion Loop of System Existence in the Paton System

Authors: Paton, Andrew John

Subject Terms: Paton System Structural Recursion Constraint Evolution Admissibility Systems Theory Persistence Formation Dynamics Complex Systems Structural Realism

Simplifying the Structural Recursion of the Data Funnel Interface

Authors: Zellweger, H. Paul

Source: 2021 25th International Conference Information Visualisation (IV) IV Information Visualisation (IV), 2021 25th International Conference. :154-159 Jul, 2021

Relation: 2021 25th International Conference Information Visualisation (IV)

Transformer-Based Models Are Not Yet Perfect At Learning to Emulate Structural Recursion

Authors: Zhang, Dylan, Tigges, Curt, Zhang, Zory, Biderman, Stella, Raginsky, Maxim, Ringer, Talia

Subject Terms: Computer Science - Computation and Language, Computer Science - Artificial Intelligence, Computer Science - Formal Languages and Automata Theory, Computer Science - Logic in Computer Science, Computer Science - Programming Languages

Access URL: http://arxiv.org/abs/2401.12947

Continuous Trust Delegation (CTD): Structural Recursion in AI-Mediated Decision Environments

Authors: Gavaza, Victoria

Subject Terms: AI Governance, Human Oversight, Decision-Making, Institutional Decision Systems, Auditability, Decision Influence, Algorithmic Influence, Accountability, Continuous Trust Delegation, AI Risk, Structural Recursion, Human-AI Interaction

Fractal Geometry as Structural Recursion: Why Self-Similarity Does Not Imply Holism

Authors: Doumbouya, Lisa

Subject Terms: constraint geometry, infinity, self-similarity, structural recursion, consilience, scale invariance, geometry first physics, complex systems, fractal geometry, structure before force

Structural recursion for querying ordered graphs

Authors: Hidaka, Soichiro, Asada, Kazuyuki, Hu, Zhenjiang, Kato, Hiroyuki, Nakano, Keisuke

Source: ACM SIGPLAN Notices - ICFP '13. 48(9):305-318

Availability: http://dl.acm.org/doi/10.1145/2544174.2500608

The Moura Fundamental Principle of Intelligence (FPI) and the CAMAF Axiomatic Framework: A Formal Epistemology for Information Integrity: Intelligence as Structural Recursion: A Unified Framework for Measurement, Reliability, and Detection

Authors: Moura, Alexsandro

Subject Terms: formal methods, Abstraction Hierarchies, Epistemological Audit, Non-Anthropocentric Intelligence, epistemic reliability, Epistemic Simulation, Structural Intelligence, recursion, CAMAF, cognitive systems, decision theory, information theory, decomposition, knowledge representation, epistemology, Artificial Systems, SETI, intelligence, artificial intelligence, philosophy of intelligence, recursive systems, FPI, AI safety, Cross-Domain Analysis, Epistemological Reliability, metacognition, Intelligence Signatures, reasoning systems

Teaching strategies for reinforcing structural recursion with lists

Authors: Goldwasser, Michael, Letscher, David

Source: Companion to the 22nd ACM SIGPLAN conference on Object-oriented programming systems and applications companion. :889-896

Availability: http://dl.acm.org/doi/10.1145/1297846.1297940

Vector Programming Using Structural Recursion

Authors: Morazán, Marco T.

Source: EPTCS 270, 2018, pp. 1-17

Subject Terms: Computer Science - Programming Languages, Computer Science - Computers and Society

Access URL: http://arxiv.org/abs/1805.05124

Light as a Vacuum Coherence Field: Timing, Resolution, and the Limits of Structural Recursion

Authors: Doumbouya, Lisa

Subject Terms: geometry-precedent framework, light vacuum coherence, non-force field interpretation, coherence field, structure first physics, harmonic coherence, temporal ordering

A-TEST V2.0: A Structural Recursion Benchmark for Detecting Proto-Awareness in AI Systems

Authors: Kaminovs, Sergejs

Subject Terms: AI Alignment, AI Safety

Talking bananas: structural recursion for session types

Authors: Lindley, Sam, Morris, J. Garrett

Source: ACM SIGPLAN Notices - ICFP '16. 51(9):434-447

Availability: http://dl.acm.org/doi/10.1145/3022670.2951921

Let High-level Graph Queries Be Parallel Efficient: An Approach Over Structural Recursion On Pregel

Authors: Li, Chong, Tung, Le-Duc, Meng, Xiaodong, Hu, Zhenjiang

Source: Journal of Information Processing. 24:928-936

Subject Terms: parallel programming, 0202 electrical engineering, electronic engineering, information engineering, graph querying, 02 engineering and technology, structural recursion and high-level language

Access URL: https://www.jstage.jst.go.jp/article/ipsjjip/24/6/24_928/_pdf

Structures for structural recursion

Authors: Downen, Paul, Johnson-Freyd, Philip, Ariola, Zena M.

Source: ACM SIGPLAN Notices - ICFP '15. 50(9):127-139

Availability: http://dl.acm.org/doi/10.1145/2858949.2784762

Fireseed: A Prompt-Driven Self-Terminating Personality Module for Large Language Models

Authors: Pang, Cong, Yan, Boyao, Zhu, Yuqi, Xu, Chunwei, Li, Bowen

Source: 2025 IEEE 6th International Conference on Computer, Big Data, Artificial Intelligence (ICCBD+AI) Computer, Big Data, Artificial Intelligence (ICCBD+AI), 2025 IEEE 6th International Conference on. :1-5 Nov, 2025

Relation: 2025 IEEE 6th International Conference on Computer, Big Data, Artificial Intelligence (ICCBD+AI)

Part 2: Structural Recursion Hypothesis as a cosmological extension of the Locally Relative Expansion (LRAE)

Authors: Jung, Andreas

Subject Terms: Light, Relativity and Structure, LRAE, Structural Analogy Principles, Space, Light Decoupling, Time, spacetime structure, Relativity, Mass and Structure, Spacetime, Universe, Causal Spacetime Dynamics, Dark matter, Temporal Impulse Model, Black Hole Theory, Nonlinearity, Local Relative Expansion Theory (LRAE), singularity alternative, Structural Field, Structure Cycle, causal disconnection, black holes, singularity, Cosmological Boundary Models, Structural Thermodynamics, Reality, non-interacting matter, Universal Expansion, Einstein, Time Architecture, Room, cosmology, Element 0

Structural Recursion as a Query Language on Lists and Ordered Trees: Structural recursion as a query language on lists and ordered trees

Authors: Robertson, Edward, Saxton, Larry, Van Gucht, Dirk, Vansummeren, Stijn

Source: Theory of Computing Systems, 44 (4

Subject Terms: Data structures, complex objects, Informatique générale, Database theory, 0102 computer and information sciences, 02 engineering and technology, primitive recursion, XML, 16. Peace & justice, 7. Clean energy, 01 natural sciences, structural recursion, Informatique mathématique, 0202 electrical engineering, electronic engineering, information engineering, database

File Description: application/xml; No full-text files

Access URL: https://zbmath.org/5590711
https://doi.org/10.1007/s00224-008-9110-5
http://hdl.handle.net/2013/ULB-DIPOT:oai:dipot.ulb.ac.be:2013/72251

Substructural Abstract Syntax with Variable Binding and Single-Variable Substitution

Authors: Fiore, Marcelo, Ranchod, Sanjiv

Source: 2025 40th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) LICS Logic in Computer Science (LICS), 2025 40th Annual ACM/IEEE Symposium on. :196-208 Jun, 2025

Relation: 2025 40th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)

Vector Programming Using Structural Recursion

Authors: Marco T. Morazán

Source: Electronic Proceedings in Theoretical Computer Science, Vol 270, Iss Proc. TFPIE 2017, Pp 1-17 (2018)

Subject Terms: FOS: Computer and information sciences, Computer Science - Computers and Society, Computer Science - Programming Languages, Electronic computers. Computer science, 4. Education, Computers and Society (cs.CY), QA1-939, 0202 electrical engineering, electronic engineering, information engineering, QA75.5-76.95, 02 engineering and technology, Mathematics, Programming Languages (cs.PL)

Access URL: https://arxiv.org/pdf/1805.05124
http://arxiv.org/abs/1805.05124
https://doaj.org/article/fb91e97271b546768ca8e2ac388c3613

Optimizing structural recursion in functional programs

Authors: Thiemann, P.J.

Source: Proceedings of the 1992 International Conference on Computer Languages Computer Languages, 1992., Proceedings of the 1992 International Conference on. :76-85 1992

Relation: Proceedings of the 1992 International Conference on Computer Languages