◍wovepaper
SearchResearchersInstitutions
Sign in
researcher

N. Danner

14 papers hereh-index 11456 citations37 works total

Matching runs newest-first, so older work may not be attached to this profile yet.

author position
  • sole author2
  • first author10
  • last author2

Across the 14 of 14 papers where every author was matched, so the position is known.

fields
  • cs.PL6
  • cs.LO5
  • cs.CC1
  • cs.CR1
  • math.LO1

identity via Semantic Scholar / OpenAlex

activity
19992022
most citedA static cost analysis for a higher-order language

31 citations · 92 across the 14 of their papers we have counts for

collaborators
Showing math.LOShow all

1 paper · 1 filter

math.LO1999★ 1 cited

Transfinite iteration functionals and ordinal arithmetic

Norman Danner

We investigate the relationship between (countable) transfinite iteration and ordinal arithmetic. The nice connection between finite iteration and addition, multiplication, and exp…

◍wovepaper

Papers, researchers and institutions, woven together.

Explore
  • Search
  • Researchers
  • Institutions
Account
  • Library
  • Chat
Data
  • arXiv.org
  • Semantic Scholar
  • OpenAlex
  • Latest RSS
AboutContactPrivacyDevelopersllms.txtopenapi.json
Not affiliated with arXiv. Researcher data from Semantic Scholar (ODC-BY) and OpenAlex.