Formalization of Metatheory of the Quipper Quantum Programming Language in a Linear Logic.
Mohamed Yousri MahmoudAmy P. FeltyPublished in: CoRR (2018)
Keyphrases
- programming language
- linear logic
- logic programming
- logical framework
- general purpose
- high level
- object oriented
- fixed point
- sequent calculus
- cut elimination
- programming environment
- object oriented programming
- desirable properties
- knowledge representation
- strongly typed
- proof search
- software engineering
- computer programs
- operational semantics
- answer set programming
- reasoning tasks
- deductive databases
- database languages
- specification language
- relational databases
- data abstraction
- belief revision