Publisher
Springer Nature Switzerland
Reference19 articles.
1. Bruni R, Giacobazzi R, Gori R, Garcia-Contreras I, Pavlovic D (2020) Abstract extensionality: on the properties of incomplete abstract interpretations. Proc ACM Program Lang 4(POPL):28:1–28:28
2. Church A (1941) The calculi of lambda conversion, vol 6. Annals of mathematics studies. Princeton University Press, Princeton
3. Freyd P, Pavlovic D (1994) Conversation on the categories mailing list 12–13 Fabruary 1994. https://www.mta.ca/~cat-dist/archive/
4. Gödel K (1931) Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I. Monatshefte für Mathematik und Physik 38:173–198. English translations, “On formally undecidable propositions of ‘principia mathematica’ and related systems” published by Oliver and Boyd, 1962 and Dover, 1992; also in [180], pp. 596–616; also in [40], pp 5–38
5. Hinkis A (2013) Proofs of the Cantor-Bernstein theorem: a mathematical excursion, vol 45. Science networks. Historical studies. Springer, Berlin