Correspondence between ALGOL 60 and Church's Lambda-notation (Q105941120)
Jump to navigation
Jump to search
papers by Landin
Language | Label | Description | Also known as |
---|---|---|---|
English | Correspondence between ALGOL 60 and Church's Lambda-notation |
papers by Landin |
Statements
Correspondence between ALGOL 60 and Church's Lambda-notation (English)
0 references
1965
0 references
8
0 references
89–101, 158–167
0 references