Referenced by:

• 07794122248289928494r
• delta-types
• le-rx-1JTczKYJlW
• le-rx-Ag8Cq47XND
• le-rx-AyOhTqmy2Y
• le-rx-LvcZuZYRmh
• le-rx-OWzSEQGABi
• le-rx-XbEqFA4lDZ
• le-rx-mIBiiztKGr
• le-rx-x2xe3xmbJv
• logic-ahrenfeucht-fraisse-game
• the-trainable-cat
• parametricity
• uniformity