article
وصول مفتوح
Typing and convergence in the lambda calculus
Research footprint
At a glance
- الاستشهادات
- 2
- المراجع
- 0
- Comments
- 0
Paper overview
Abstract
Computer Science Department
Record transparency
Publication details
- DOI
- 10.1184/r1/6611195
- OpenAlex
- W822738661
- Document type
- article
- Language
- EN
- Source
- Figshare
- Last metadata update
Comments
تسجيل الدخول للانضمام إلى النقاش.