Home  Online Resources  Table of Contents

Journal of Logic and Computation, Volume 10, Issue 2, pp. 315-317: Abstract.

Book review. Twenty-Five Years of Constructive Type Theory. G Sambin, J Smith

S Thompson

Computing Laboratory, University of Kent, UK

  Full-Text PDF  (29 KB)


[ Oxford University Press]   [ Oxford Journals]   [ Comments & Feedback]   Copyright© Oxford University Press, 2000.