Deep Inference

First Author: Guglielmi A

Attributed to: Efficient and Natural Proof Systems funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Publication URI: http://cs.bath.ac.uk/ag/p/DI.pdf

Type: Book Chapter

Book Title: All About Proofs, Proofs for All, (2015)

ISBN: 978-1-84890-166-7