Proofs and Computations (2012)
Attributed to:
WORKSHOP: LEEDS SYMPOSIUM ON PROOF THEORY & CONSTRUCTIVISM
funded by
EPSRC
Abstract
No abstract provided
Bibliographic Information
Type: Book
ISBN: 978-0-521-51769-0