Sequent combinators: a Hilbert system for the lambda calculus (Q4946630)
From MaRDI portal
scientific article; zbMATH DE number 1422511
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Sequent combinators: a Hilbert system for the lambda calculus |
scientific article; zbMATH DE number 1422511 |
Statements
Sequent combinators: a Hilbert system for the lambda calculus (English)
0 references
22 March 2001
0 references
Hilbert system
0 references
sequent combinators
0 references
lambda calculus
0 references
