An Agda Framework for programming language metatheory based on extrinsic typing, intrinsic scoping and de Bruijn indices.
-
Updated
Sep 9, 2024 - Agda
#
metatheory
Here are 6 public repositories matching this topic...
Cut elimination for the logic of Bunched Implications (BI), and some extensions.
-
Updated
Jul 27, 2023 - Coq
A framework for Systems Verification of categories, Theories and Meta Theories in Lean, Rocq, C# and F#.
csharp fsharp dotnet coq theorem-proving type-theory category-theory dotnet-core cosmos monoids formal-verification topos-theory groupoids applied-category-theory topos metatheory hylomorphisms lean4 monoidal-categories rocq
-
Updated
Oct 17, 2025 - C#
“Observation Theory: A Unified Meta-Theoretical Framework of Cognition - 一个统一的认知元理论框架”
reinforcement-learning philosophy agi cognitive-science ai-safety epistemology cognitive-architecture consciousness theory-of-mind world-models metatheory cognitive-architectures ai-design ai-philosophy
-
Updated
Nov 25, 2025
An experimental research project developing a foundational theory of frameworks — the structures through which the human mind constructs and engages with reality.
philosophy psychology cognitive-science cognition thoughts frameworks research-notes idealism hegel theoretical-research kant philosophy-of-mind metatheory existential schopenhauer structural-theory conceptual-frameworks experimental-theory
-
Updated
Oct 2, 2025
The multiary lambda calculus is an extension of the ordinary lambda calculus where an applicative term has a list of terms as arguments.
-
Updated
Oct 24, 2025 - Rocq Prover
Improve this page
Add a description, image, and links to the metatheory topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the metatheory topic, visit your repo's landing page and select "manage topics."