A Typed, Compositional Logic for a Stack-Based Abstract Machine.
Nick BentonPublished in: APLAS (2005)
Keyphrases
- abstract machine
- lambda calculus
- data model
- logic programming
- higher order
- modal logic
- asynchronous circuits
- classical logic
- artificial intelligence
- predicate logic
- expert systems
- multi valued
- nonmonotonic logics
- defeasible logic
- database
- computational properties
- query language
- digital circuits
- data structure
- abductive reasoning
- real world
- delay insensitive
- neural network
- real time