| RUS ENG |
| Full version |
|
|
|
| SEMINARS |
|
|
|||
|
Lecture 1. The Lambek calculus M. R. Pentus Lomonosov Moscow State University, Faculty of Mechanics and Mathematics |
|||
|
Abstract: An example of a Lambek grammar. The Lambek sequent calculus. The cut-elimination theorem (without proof). The Lambek calculus in the non-sequent form. The equivalence of the two calculi. |
|||