Locus Solum: From the rules of logic to the logic of rules
Mathematical Structures in Computer Science
Comparing hierarchies of types in models of linear logic
Information and Computation
Relative definability and models of unary PCF
TLCA'03 Proceedings of the 6th international conference on Typed lambda calculi and applications
Non-uniform (hyper/multi)coherence spaces
Mathematical Structures in Computer Science
Bi-models: Relational Versus Domain-theoretic Approaches
Fundamenta Informaticae
| Hi-index | 0.00 |