An algebraic generalization of Frege structures -- binding algebras
From MaRDI portal
Publication:1274449
DOI10.1016/S0304-3975(97)00170-9zbMath0915.68116MaRDI QIDQ1274449
Publication date: 12 January 1999
Published in: Theoretical Computer Science (Search for Journal in Brave)
Frege structuresbinding algebras(admissible) equational logicadmissible completenessbinding equationsBirkhoff's method
Related Items (12)
Term-Generic Logic ⋮ A process calculus with finitary comprehended terms ⋮ A formalized general theory of syntax with bindings ⋮ Rensets and renaming-based recursion for syntax with bindings extended version ⋮ An alternative formulation of operational conservativity with binding terms. ⋮ Capture-avoiding substitution as a nominal algebra ⋮ A formalized general theory of syntax with bindings: extended version ⋮ Variable binding operators in transition system specifications ⋮ Substitution in non-wellfounded syntax with variable binding ⋮ Two-level nominal sets and semantic nominal terms: an extension of nominal set theory for handling meta-variables ⋮ Term-generic logic ⋮ Rensets and renaming-based recursion for syntax with bindings
Cites Work
- The lambda calculus. Its syntax and semantics. Rev. ed.
- The system \({\mathcal F}\) of variable types, fifteen years later
- Universal algebra in higher types
- A recursive second order initial algebra specification of primitive recursion
- On specifications, theories, and models with higher types
- Logical relations and the typed λ-calculus
- The Universal Field of Fractions of a Semifir I. Numerators and Denominators
- Higher order data types
- Data Types as Lattices
- Axiomatization of calculus of constructions
- Set Theory and Nominalization, Part I
- Set Theory and Nominalization, Part II
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: An algebraic generalization of Frege structures -- binding algebras
