Person · Open Library
- Works
- 4
Top works
- Lambda Calculus Satellite
- Some Extensional Term Models for Combinatory Logics and Lambda Calculi 1971
- Lambda Calculus with Types
- Types for Proofs and Programs
via Open Library + Wikidata
Recent publications · Crossref
5 total works indexed
- LINCS: A linear constraint solver for molecular simulations
· 1997 · cited 14,355x
- A Randomized Trial of Intraarterial Treatment for Acute Ischemic Stroke
· 2015 · cited 5,828x
- Global, regional, and national life expectancy, all-cause mortality, and cause-specific mortality for 249 causes of death, 1980–2015: a systematic analysis for the Global Burden of Disease Study 2015
· 2016 · cited 5,082x
- A First Course in Turbulence
· 1972 · cited 4,526x
- Effect of Parathyroid Hormone (1-34) on Fractures and Bone Mineral Density in Postmenopausal Women with Osteoporosis
· 2001 · cited 3,809x
via Crossref · CC0
Official website
Homepage Henk Barendregt
cs.ru.nl →Link to the official site · 3,424 chars · not written by Vinony
Available in 8 languages
via Wikidata sitelinks · CC0