Alain Delon | Alain Bashung | Alain Resnais | Alain Prost | Alain Whyte | Alain Touraine | Alain Connes | Alain Badiou | Alain Souchon | Alain Chamfort | Alain Juppé | Jehan Alain | Alain Rohr | Alain Ducasse | Alain Veinstein | Alain Tanner | Alain Robert | Alain-Fournier | Alain Bosquet | Jacques-Alain Miller | Alain Lombard | Alain de Mijolla | Alain de Botton | Alain de Benoist | Alain Daniélou | Alain Clark | Alain Barrière | Alain Afflelou | Alain Sailhac | Alain-René Lesage |
Lacroix and Pirotte proposed domain calculus, which is closer to first-order logic and which showed that both of these calculi (as well as relational algebra) are equivalent in expressive power.