#notation #math #computerscicence #LambdaCalculus #bourbaki

Source: Computation, Proof, Machine: Mathematics Enters a New Age' by Gilles Dowek