Qualitative $\lambda$-models as type assignment systems
| Autor: | Honsell, F., Ronchi della Rocca, S., Klop, Jan Willem, Meijer, J.J.C., Rutten, Jan |
|---|---|
| Přispěvatelé: | Computational models |
| Jazyk: | angličtina |
| Rok vydání: | 1989 |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|
| Autor: | Honsell, F., Ronchi della Rocca, S., Klop, Jan Willem, Meijer, J.J.C., Rutten, Jan |
|---|---|
| Přispěvatelé: | Computational models |
| Jazyk: | angličtina |
| Rok vydání: | 1989 |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|