Functions and References in the Pi-Calculus: Full Abstraction and Proof Techniques.
Enguerrand PrebetPublished in: ICALP (2022)
Keyphrases
- natural deduction
- theorem prover
- sequent calculus
- high level
- proof search
- theorem proving
- proof procedure
- computer algebra
- proof planning
- linear logic
- automated theorem proving
- automated deduction
- provably correct
- functional language
- data sets
- decision theoretic planning
- control system
- learning algorithm
- machine learning