Foundations of Nominal Techniques: Logic and Semantics of Variables in Abstract Syntax (Q3011103)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Foundations of Nominal Techniques: Logic and Semantics of Variables in Abstract Syntax |
scientific article |
Statements
Foundations of Nominal Techniques: Logic and Semantics of Variables in Abstract Syntax (English)
0 references
28 June 2011
0 references
survey paper
0 references
nominal techniques
0 references
nominal abstract syntax
0 references
atoms-abstraction
0 references
names
0 references
variable binding
0 references
inductive syntax up to binding
0 references
alpha-equivalence
0 references
0 references