 |
 |
|
|
 |
|
|
|
1 - 7 von 7
|
|
 |
Ihre Aktion |
suchen [und] (Schlagwörter (XSLW)) Lambda algebra
|
|
|
|
|
 |
1. |
Computing the homology of the lambda algebra
Tangora, Martin C. *1936-*. - Providence, RI : American Mathematical Society, 1985
|
|
|
 |
2. |
Lectures on the Curry-Howard isomorphism
Sørensen, Morten Heine. - 1st ed. Online-Ausg.]. - Amsterdam : Elsevier, 2006
|
|
|
|
3. |
Lectures on the Curry-Howard isomorphism
Sørensen, Morten Heine. - 1st ed. - Amsterdam : Elsevier, 2006
|
|
|
|
4. |
Reductive logic and proof-search : proof theory, semantics, and control
Pym, David J.. - Oxford [u.a.] : Clarendon Press, 2004
|
|
|
|
5. |
Introduction to l-trees
Chiswell, Ian *1948-*. - Singapore [u.a.] : World Scientific, 2001
|
|
|
|
6. |
Logic Colloquium '82 : proceedings of the colloquium held in Florence, 23-28 August, 1982
Lolli, Gabriele *1942-*. - Amsterdam : North-Holland, 1984
|
|
|
|
7. |
Truth, deduction, and computation : logic and semantics for computer science
Davis, Ruth E.. - New York [u.a.] : Computer Science Pr., 1989
|
|
|
|
|
|
|
1 - 7 von 7
|
|
| Wort |
|
Typ |
|
Anzahl |
|---|
|
| algebra |
|
Schlagwörter (XSLW) |
|
≈10951 |
| lambda |
|
Schlagwörter (XSLW) |
|
279 |
|
|
|
|
|
|
|
1 - 7 von 7
|
|
|
