Login / Signup
A "Linear Logic" Quicksort.
Henry G. Baker
Published in:
ACM SIGPLAN Notices (1994)
Keyphrases
</>
linear logic
fixed point
proof theoretic
sequent calculus
logic programming
desirable properties
logical framework
proof search
cut elimination
intuitionistic logic
artificial intelligence
inference rules
bayesian networks
probability distribution
software engineering
programming language