Nominal Logic: A First Order Theory of Names and Binding
- 10 October 2001
- book chapter
- Published by Springer Nature
- p. 219-242
- https://doi.org/10.1007/3-540-45500-0_11
Abstract
No abstract availableKeywords
This publication has 15 references indexed in Scilit:
- A Spatial Logic for Concurrency (Part I)Published by Springer Nature ,2001
- Foundations of Software Science and Computation StructuresPublished by Springer Nature ,2001
- Elementary structures in process theory (1): Sets with renamingMathematical Structures in Computer Science, 2000
- Primitive recursion for higher-order abstract syntaxLecture Notes in Computer Science, 1997
- Five axioms of alpha-conversionPublished by Springer Nature ,1996
- IsabellePublished by Springer Nature ,1994
- The axiom of choiceJournal of Pure and Applied Algebra, 1980
- About the Axiom of ChoicePublished by Elsevier ,1977
- First Order Categorical LogicLecture Notes in Mathematics, 1977
- Lambda calculus notation with nameless dummies, a tool for automatic formula manipulation, with application to the Church-Rosser theoremIndagationes Mathematicae, 1972