Skip to content

PaperMetrixEvidence-aware discovery

PaperMetrixNavigate the platform

Search papersHybrid scholarly retrieval AboutMethod and philosophy FAQAnswers and guidance

Oturum Açın Create account

TR

Interface language English EN العربية AR Türkçe TR

Oturum Açın Create account

Ana sayfa/Author

D

Researcher profile

Daniël Leivant

1 paper in the PaperMetrix corpus

Publications

Papers by this author

Typing and convergence in the lambda calculus

2018 · Figshare

Computer Science Department

PaperMetrixEvidence-aware discovery

Find, explain, and organize scientific literature through transparent retrieval designed for reproducible research.

BM25SPECTER2Hybrid-RRF

DiscoverSearch papers Create account

ResearchOur philosophy How retrieval works What is new

PlatformAbout PaperMetrix Questions and answers System status Oturum Açın

© 2026 PaperMetrix

Research prototype—not a measure of scientific quality.