Publisher
Springer International Publishing
Reference13 articles.
1. Appel, A.: Modular verification for computer security. In: CSF 2016: 29th IEEE Computer Security Foundations Symposium, June 2016
2. Bishop, E.: Mathematics as a numerical language 1970 Intuitionism and Proof Theory (Proc. Conf., Buffalo, N.Y.), pp. 53–71 (1968)
3. Bourbaki, N.: Éléments de mathématique. Chapitre 4: Structures. Actualités Sci. Ind. no. 1258 Hermann, Paris (1957)
4. de Bruijn, N.G.: The mathematical language AUTOMATH, its usage, and some of its extensions. In: 1970 Symposium on Automatic Demonstration. Lecture Notes in Mathematics, vol. 125, pp. 29–61
5. de Bruijn, N.G.: A survey of the project AUTOMATH. In: To H. B. Curry: essays on combinatory logic, lambda calculus and formalism, pp. 579–606 (1980)