Back to Search
Start Over
Parallel Reductions in $\lambda$-Calculus
- Source :
- 数理解析研究所講究録. 625:247-256
- Publication Year :
- 1987
- Publisher :
- 京都大学数理解析研究所, 1987.
Details
- Language :
- English
- ISSN :
- 18802818
- Volume :
- 625
- Database :
- OpenAIRE
- Journal :
- 数理解析研究所講究録
- Accession number :
- edsair.jairo.........05a663dc471635a70d93554d2194e652