Rewriting and Typed Lambda Calculi
Joint International Conferences, RTA and TLCA 2014, Held As Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings
Edición de la obra Rewriting and Typed Lambda Calculi
| Autor | Gilles Dowek |
|---|---|
| Editorial | Springer International Publishing AG |
| Fecha de publicación | 2014 |
| Idioma | inglés |
| Páginas | 491 |
| ISBN-13 | 9783319089171 |
| Número de Cutter | D746r |