Computation and reasoning: a type theory for computer science

• 1 June 1995
• journal article
• Published by American Library Association in Choice Reviews Online
• Vol. 32  (10) , 32-5698
• https://doi.org/10.5860/choice.32-5698

Abstract

Keywords

• TYPE THEORY
• COMPUTATION AND REASONING
• THEORY FOR COMPUTER SCIENCE