Login / Signup
Maria Hämeen-Anttila
ORCID
Publication Activity (10 Years)
Years Active: 2019-2019
Publications (10 Years): 1
Top Topics
Cooperative
Computer Vision
High Quality
Top Venues
Bull. Symb. Log.
</>
Publications
</>
Maria Hämeen-Anttila
Nominalistic Ordinals, Recursion on Higher Types, and finitism.
Bull. Symb. Log.
25 (1) (2019)