In the 1960s I felt that programming languages were simply primitive and therefore I didnt have to bother with them. But I still managed to read some of it myself, and found it very interesting. Petrosyants book was intended as a collection of original research papers on mathematical logic, published with the support of MIT.īut I didnt know about Petrosyants book, and didnt know of the existence of programs to search for it on the shelves. The number of examples was pretty limited, even though the idea of "domain theory" was already being discussed in the US, where Mathematical structures, Applications and Computer Simulations by Denes Petrosyants book was published in two volumes in 19. ![]() Meanwhile, in the US working with the idea of combinators seemed to be mostly confined to people who tried to implement some kind of "functional programming" or "higher order functions" in a programming language.
0 Comments
Leave a Reply. |