ラムダ計算の簡約グラフについて (証明論とその周辺)
| Autor: | Tomioka, Takashi, Fujita, Ken-etsu |
|---|---|
| Jazyk: | japonština |
| Rok vydání: | 2020 |
| Zdroj: | 数理解析研究所講究録. 2150:66-75 |
| ISSN: | 1880-2818 |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|
| Autor: | Tomioka, Takashi, Fujita, Ken-etsu |
|---|---|
| Jazyk: | japonština |
| Rok vydání: | 2020 |
| Zdroj: | 数理解析研究所講究録. 2150:66-75 |
| ISSN: | 1880-2818 |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|