Nominal logic, a first order theory of names and binding
type: Item
instance of: scholarly article
title: Nominal logic, a first order theory of names and binding
zbMATH Open document ID: 1056.03014
DOI: 10.1016/S0890-5401(03)00138-X
author: Andrew M. Pitts
published in: Information and Computation
publication date: 2004-11-23T00:00:00Z
Mathematics Subject Classification ID: 03B70
Mathematics Subject Classification ID: 68N30
Mathematics Subject Classification ID: 68Q55
zbMATH DE Number: 2118416
zbMATH Keywords: Abstract syntax
zbMATH Keywords: Variable binding
zbMATH Keywords: Fresh names
zbMATH Keywords: first-order many-sorted logic
zbMATH Keywords: permutation model
zbMATH Keywords: name-swapping
Wikidata QID: Q29393340
describes a project that uses: Isabelle
describes a project that uses: SLMC
describes a project that uses: Coq
MaRDI profile type: Publication
cites work: The lambda calculus. Its syntax and semantics. Rev. ed.
cites work: Q3679172
cites work: Q5714431
cites work: Q4484489
cites work: Q2778816
cites work: Q5667469
cites work: Q3024905
cites work: HOL-\(\lambda\sigma\): An intentional first-order expression of higher-order logic
cites work: The axiom of choice
cites work: A new approach to abstract syntax with variable binding
cites work: Q4288818
cites work: Partial inductive definitions
cites work: Q5714443
cites work: Elementary structures in process theory (1): Sets with renaming
cites work: Q4535076
cites work: Endliche Gruppen I
cites work: First order categorical logic. Model-theoretical methods in the theory of topoi and related categories
cites work: Reasoning with higher-order abstract syntax in a logical framework
cites work: Some lambda calculus and type theory formalized
cites work: Developing (meta)theory of \(\lambda\)-calculus in the theory of contexts
cites work: A compact representation of proofs
cites work: Isabelle. A generic theorem prover
cites work: An application of open maps to categorical logic
cites work: Q5714442
cites work: Q2721104
cites work: Q3208629
cites work: Q2778886
description: scientific article; zbMATH DE number 2118416