Institutional Repository
| λμ-Calculus: An algorithmic interpretation of classical natural deduction | |
| Michel Parigot | |
| Source | Lecture Notes in Computer Science |
| Other responsible | Springer |
| 1992 | |
| Publisher | Springer |
| Publish Place | Springer Berlin / Heidelberg |
| Language | 中文 |
| Content Type | 专著章节/文集论文 |
| URI | http://ir.iscas.ac.cn/handle/311060/1335 |
| Collection | 中国科学院软件研究所 |
| Recommended Citation GB/T 7714 | Michel Parigot. λμ-Calculus: An algorithmic interpretation of classical natural deduction. Lecture Notes in Computer Science. Springer Berlin / Heidelberg:Springer,1992. |
| Files in This Item: | ||||||
| File Name/Size | DocType | Version | Access | License | ||
| +BJ01151870.pdf（621KB） | 开放获取 | License | Application Full Text | |||
Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.
Edit Comment