A Full Formalisation of pi-Calculus Theory in the Calculus of Constructions.

Daniel Hirschkoff

Published in: TPHOLs (1997)

Keyphrases

computer algebra
automated deduction
algebraic structure
machine learning
formal analysis
data sets
website
case study
query language
theoretical foundation
formal theory
proof procedure
natural deduction
process algebra