Logic

Field

▾

Select a category to explore research frontiers

Loading categories...

Research Frontiers in Nominal Logic and Binding Structures

Logical systems for reasoning about syntactic structures with bound variables and name-carrying data in formal language specifications.