| This resource is not discoverable in the library. If the resource was recently submitted, it may require some time before it becomes discoverable through this search service. | | Resource Title: | Natural Deduction And Sequent Typed Lambda Calculus
|
|---|
| Description: | Two different formulations of the simply typed lambda calculus: the natural deduction and the sequent system, are considered. An analogue of cut elimination is proved for the sequent lambda calculus. |
|---|
|
