The Lambda Calculus - Its Syntax and Semantics - Studies in Logic and the Foundations of Mathematics
Latest Publications

TOTAL DOCUMENTS

38

(FIVE YEARS 0)

H-INDEX

1

(FIVE YEARS 0)

Published By Elsevier

9780444875082

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Index of Symbols

The Lambda Calculus - Its Syntax and Semantics - Studies in Logic and the Foundations of Mathematics ◽

10.1016/b978-0-444-87508-2.50038-1 ◽

1984 ◽

pp. 611-621

Download Full-text

Typed Lambda Calculus

The Lambda Calculus - Its Syntax and Semantics - Studies in Logic and the Foundations of Mathematics ◽

10.1016/b978-0-444-87508-2.50031-9 ◽

1984 ◽

pp. 561-572

Keyword(s):

Lambda Calculus ◽

Typed Lambda Calculus

Download Full-text

Global Structure of Models

The Lambda Calculus - Its Syntax and Semantics - Studies in Logic and the Foundations of Mathematics ◽

10.1016/b978-0-444-87508-2.50029-0 ◽

1984 ◽

pp. 513-531

Keyword(s):

Global Structure

Download Full-text

Other Lambda Theories

The Lambda Calculus - Its Syntax and Semantics - Studies in Logic and the Foundations of Mathematics ◽

10.1016/b978-0-444-87508-2.50026-5 ◽

1984 ◽

pp. 431-466

Download Full-text

Other Notions of Reduction

The Lambda Calculus - Its Syntax and Semantics - Studies in Logic and the Foundations of Mathematics ◽

10.1016/b978-0-444-87508-2.50024-1 ◽

1984 ◽

pp. 384-408

Download Full-text

Labelled Reduction

The Lambda Calculus - Its Syntax and Semantics - Studies in Logic and the Foundations of Mathematics ◽

10.1016/b978-0-444-87508-2.50023-x ◽

1984 ◽

pp. 352-383

Download Full-text

Reduction Strategies

The Lambda Calculus - Its Syntax and Semantics - Studies in Logic and the Foundations of Mathematics ◽

10.1016/b978-0-444-87508-2.50022-8 ◽

1984 ◽

pp. 324-351

Keyword(s):

Reduction Strategies

Download Full-text

Classical Lambda Calculus

The Lambda Calculus - Its Syntax and Semantics - Studies in Logic and the Foundations of Mathematics ◽

10.1016/b978-0-444-87508-2.50014-9 ◽

1984 ◽

pp. 131-150

Keyword(s):

Lambda Calculus

Download Full-text

Studies in Logic

The Lambda Calculus - Its Syntax and Semantics - Studies in Logic and the Foundations of Mathematics ◽

10.1016/b978-0-444-87508-2.50001-0 ◽

1984 ◽

pp. ii

Download Full-text

Index of Names

The Lambda Calculus - Its Syntax and Semantics - Studies in Logic and the Foundations of Mathematics ◽

10.1016/b978-0-444-87508-2.50036-8 ◽

1984 ◽

pp. 599-603

Download Full-text