ACM Transactions on Programming Languages and Systems (TOPLAS)
Parametric polymorphism and operational equivalence
Mathematical Structures in Computer Science
Building continuous webbed models for system F
Theoretical Computer Science - Mathematical foundations of programming semantics
On an open problem of Amadio and Curien: the finite antichain condition
Information and Computation
Theoretical Computer Science
On an open problem of Amadio and Curien: The finite antichain condition
Information and Computation
Stable computational semantics of conflict-free rewrite systems (partial orders with duplication)
RTA'03 Proceedings of the 14th international conference on Rewriting techniques and applications
A new model construction for the polymorphic lambda calculus
LPAR'00 Proceedings of the 7th international conference on Logic for programming and automated reasoning
TLCA'07 Proceedings of the 8th international conference on Typed lambda calculi and applications
Events, causality and symmetry
VoCS'08 Proceedings of the 2008 international conference on Visions of Computer Science: BCS International Academic Conference
| Hi-index | 0.00 |