#computerscicence — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #computerscicence, aggregated by home.social.
-
#notation #math #computerscicence #LambdaCalculus #bourbaki
Source: Computation, Proof, Machine: Mathematics Enters a New Age' by Gilles Dowek