The Impact of the Lambda Calculus in Logic and Computer Science (Q63044203)
Jump to navigation
Jump to search
scholarly article by Henk Barendregt published June 1997 in The Bulletin of Symbolic Logic
Language | Label | Description | Also known as |
---|---|---|---|
English | The Impact of the Lambda Calculus in Logic and Computer Science |
scholarly article by Henk Barendregt published June 1997 in The Bulletin of Symbolic Logic |
Statements
The Impact of the Lambda Calculus in Logic and Computer Science (English)
0 references
June 1997
0 references
3
0 references
02
0 references
181-215
0 references