TWENTY FIVE YEARS OF CONSTRUCTIVE TYPE THEORY by SMITH, JAN (PROFESSOR, DEPARTMENT OF COMPUTING SCIENCE, CHAL ISBN 0198501277
From Student Book World
(List of links)
< TWENTY FIVE YEARS OF CONSTRUCTIVE TYPE THEORY by SMITH, JAN (PROFESSOR, DEPARTMENT OF COMPUTING SCIENCE, CHAL ISBN 0198501277No pages link to TWENTY FIVE YEARS OF CONSTRUCTIVE TYPE THEORY by SMITH, JAN (PROFESSOR, DEPARTMENT OF COMPUTING SCIENCE, CHAL ISBN 0198501277.
