Encoding natural semantics in Coq
- 1 January 1995
- book chapter
- Published by Springer Nature
- p. 230-244
- https://doi.org/10.1007/3-540-60043-4_56
Abstract
No abstract availableKeywords
This publication has 9 references indexed in Scilit:
- Inductive definitions in the system Coq rules and propertiesPublished by Springer Nature ,2005
- Reasoning with executable specificationsPublished by Springer Nature ,1995
- Higher-Order Abstract Syntax with induction in CoqPublished by Springer Nature ,1994
- Extended natural semanticsJournal of Functional Programming, 1993
- A framework for defining logicsJournal of the ACM, 1993
- Type inference with simple subtypesJournal of Functional Programming, 1991
- An Overview of the Edinburgh Logical FrameworkPublished by Springer Nature ,1989
- Foundations of Logic ProgrammingPublished by Springer Nature ,1987
- A formulation of the simple theory of typesThe Journal of Symbolic Logic, 1940