Concepedia
Statistics
Publications
1
Citations
84
H-Index
Active since
1992
J.H. Geuvers is an author specializing in mathematical induction, syntax, and programming languages.
Publications per year
1992–1992
Inductive and Coinductive Types with Iteration and Recursion
J.H. Geuvers · Data Archiving and Networked Services (DANS) · 1992 · 84 citations · Full text
Computing, Computer Science, Formal Methods +9
1–1 of 1