λμ-Calculus: An algorithmic interpretation of classical natural deduction
| Contribuinte(s) |
Springer |
|---|---|
| Data(s) |
1992
|
| Identificador | |
| Idioma(s) |
中文 |
| Publicador |
Springer Springer Berlin / Heidelberg Springer Springer Berlin / Heidelberg |
| Fonte |
Michel Parigot.λμ-Calculus: An algorithmic interpretation of classical natural deduction.Springer Berlin / Heidelberg:Springer.1992 |
| Tipo |
专著章节/文集论文 |
