Type: Direct Link

Proceedings Fifteenth Conference on Theoretical Aspects of Rationality and Knowledge

Proceedings of the 7th International Workshop on Physics and Computation

Proceedings Sixth International Workshop on Classical Logic and Computation

Proceedings of the Workshop on Continuations

Proceedings First International Workshop on Hammers for Type Theories