Sign in
The pi-Calculus as a Theory in Linear Logic: Preliminary Results.
Dale Miller
Published in:
ELP (1992)
Keyphrases
</>
linear logic
proof theoretic
sequent calculus
cut elimination
proof search
fixed point
logical framework
computer algebra
inference rules
theoretical framework
decision theory
intuitionistic logic
bayesian networks
logic programming