βη-complete models for System F
Mathematical Structures in Computer Science
Calculemus '07 / MKM '07 Proceedings of the 14th symposium on Towards Mechanized Mathematical Assistants: 6th International Conference
Map Theory: From Well-Foundation to Antifoundation
Electronic Notes in Theoretical Computer Science (ENTCS)
Logiweb: a system for web publication of mathematics
ICMS'06 Proceedings of the Second international conference on Mathematical Software
Computing in cantor's paradise with λZFC
FLOPS'12 Proceedings of the 11th international conference on Functional and Logic Programming
| Hi-index | 5.23 |