J-Calc: A Typed Lambda Calculus for Intuitionistic Justification Logic.
Konstantinos PouliasisGiuseppe PrimieroPublished in: Electron. Notes Theor. Comput. Sci. (2014)
Keyphrases
- lambda calculus
- programming language
- predicate calculus
- classical logic
- linear logic
- theorem prover
- complex objects
- program understanding
- higher order
- database query languages
- formal model
- first order logic
- expressive power
- expert systems
- modal logic
- open source
- general purpose
- software engineering
- object oriented
- natural deduction
- query processing