Proofs and types
Category theory for computing science
Category theory for computing science
Fuzzy set theory—and its applications (3rd ed.)
Fuzzy set theory—and its applications (3rd ed.)
Communications of the ACM
The Craft of Programming
Principles of Programming Languages
Principles of Programming Languages
Discrete Mathematical Structures for Computer Science
Discrete Mathematical Structures for Computer Science
Programming Approach to Computability
Programming Approach to Computability
Theory of Computation
Constructivity in Computer Science, Summer Symposium
Proposal for a categorical programming language
ACM SIGPLAN Notices
Hi-index | 0.00 |