Introduction to higher order categorical logic
Introduction to higher order categorical logic
Information and Computation - Semantics of Data Types
Proofs and types
Categories, types, and structures: an introduction to category theory for the working computer scientist
The genericity theorem and parametricity in the polymorphic &lgr;-calculus
Theoretical Computer Science - A collection of contributions in honour of Corrado Bo¨hm on the occasion of his 70th birthday
A calculus for overloaded functions with subtyping
Information and Computation
Locus Solum: From the rules of logic to the logic of rules
Mathematical Structures in Computer Science
Information and Computation
| Hi-index | 0.00 |