A generic type system for higher-order Ψ-calculi
| Autor: | Hüttel, Hans, Lybech, Stian, Bendixen, Alex R., Bojesen, Bjarke B. |
|---|---|
| Zdroj: | In Information and Computation October 2024 300 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|
| Autor: | Hüttel, Hans, Lybech, Stian, Bendixen, Alex R., Bojesen, Bjarke B. |
|---|---|
| Zdroj: | In Information and Computation October 2024 300 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|
Full Text from ScienceDirect