Statistics
Publications
26
Citations
1.3K
H-Index
20
Active since
1979
Daniël Leivant is an author at Carnegie Mellon University specializing in computer science, computing, and mathematics.
Publications per year
1979–2018
26
26
Daniël Leivant · 1983 · 183 citations · Full text
Lambda Calculus Characterizations of Poly-Time
Daniël Leivant, Jean-Yves Marion · Fundamenta Informaticae · 1993 · 116 citations
Computing, Computer Science, Algebra +16
Stratified functional programs and computational complexity
Daniël Leivant · 1993 · 83 citations · Full text
1–5 of 26