The Barendregt cube with definitions and generalised reduction
| Autor: | Bloo, R., Kamareddine, F., Nederpelt, R.P. |
|---|---|
| Přispěvatelé: | Model Driven Software Engineering, VF-programma Programmeren (TUE.INF.301.90.26) |
| Jazyk: | angličtina |
| Rok vydání: | 1994 |
| Předmět: | |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|