Logic, programming, and type systems
8 works
Claim or correct this author profile
Claim this profile or suggest corrections to the name, affiliation, bio, photo, or paper titles. Approved changes appear as verified CitedEvidence overlays.
14
Papers
652
Citations
8
h-index
8
i10-index
Sigbjørn Finne is an academic researcher. The author has contributed to research in topics: Logic, programming, and type systems & Parallel Computing and Optimization Techniques & Security and Verification in Computing. The author has an h-index of 8, co-authored 12 publications.
Click to start Chat