scientific article; zbMATH DE number 2242589
From MaRDI portal
zbMath1087.03510MaRDI QIDQ5714442
Publication date: 2 January 2006
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2215/22150219.htm
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
A spatial logic for concurrency. II, Nominal logic, a first order theory of names and binding, A spatial logic for concurrency. I, Fresh logic: Proof-theory and semantics for FM and nominal techniques, Binding in Nominal Equational Logic, Term-Generic Logic, A formalized general theory of syntax with bindings, Nominal Lawvere theories: a category theoretic account of equational theories with names, Validating Brouwer's continuity principle for numbers using named exceptions, A formalized general theory of syntax with bindings: extended version, A formalisation of nominal \(\alpha\)-equivalence with A and AC function symbols, Nominal Unification from a Higher-Order Perspective, Developing (Meta)Theory of λ-calculus in the Theory of Contexts1 1Work partially supported by Italian MURST project tosca and EC-WG types., α lean TA P: A Declarative Theorem Prover for First-Order Classical Logic, Term-generic logic, Manipulating Trees with Hidden Labels, A Name Abstraction Functor for Named Sets
