Parametricity and local variables
Journal of the ACM (JACM)
Realizability: a historical essay
Mathematical Structures in Computer Science
A design structure for higher order quotients
TPHOLs'05 Proceedings of the 18th international conference on Theorem Proving in Higher Order Logics
Hi-index | 0.00 |