Lambda Calculus with Types || Models
- 作者Barendregt, Henk; Dekkers, Wil; Statman, Richard
- 期第10期
- 文件大小495.48KB
- 发表时间2013
- DOI10.1017/CBO9781139032636.015
- 页码520-553
Theoretical Philosophy, 1755–1770 || General editors' prefaceKant, Immanuel; Walford, David; Meerbote, Ralf · 2002
Theoretical Philosophy, 1755–1770 || PrefaceKant, Immanuel; Walford, David; Meerbote, Ralf · 2002
Theoretical Philosophy, 1755–1770 || General introductionKant, Immanuel; Walford, David; Meerbote, Ralf · 2002
Theoretical Philosophy, 1755–1770 || Preliminary considerationsKant, Immanuel; Walford, David; Meerbote, Ralf · 2002
Theoretical Philosophy, 1755–1770 || Concluding reflectionKant, Immanuel; Walford, David; Meerbote, Ralf · 2002
Theoretical Philosophy, 1755–1770 || PrefaceKant, Immanuel; Walford, David; Meerbote, Ralf · 2002
Theoretical Philosophy, 1755–1770 || PrefaceKant, Immanuel; Walford, David; Meerbote, Ralf · 2002
Theoretical Philosophy, 1755–1770 || IntroductionKant, Immanuel; Walford, David; Meerbote, Ralf · 2002