Report copyright - Meta-reasoning in the concurrent logical framework CLF€¦ · Jorge Luis Sacchini (joint work with Iliano Cervesato) Meta-reasoning in CLF 1 / 48. Objectives Concurrency and distribution
Please pass captcha verification before submit form