Continuous semantics and inside-out reductions
Autor: | Peter H. Welch |
---|---|
Rok vydání: | 2005 |
Předmět: | |
Zdroj: | Lecture Notes in Computer Science ISBN: 3540074163 Lambda-Calculus and Computer Science Theory |
Databáze: | OpenAIRE |
Externí odkaz: |
Autor: | Peter H. Welch |
---|---|
Rok vydání: | 2005 |
Předmět: | |
Zdroj: | Lecture Notes in Computer Science ISBN: 3540074163 Lambda-Calculus and Computer Science Theory |
Databáze: | OpenAIRE |
Externí odkaz: |