|
|||||
|
|
A Linear Spine Calculus |
|
| Authors: | Cervesato, Iliano Pfenning, Frank |
| Affiliation: | 1 Advanced Engineering and Sciences Division, ITT Industries, Inc., Alexandria, VA 22303, USA. E-mail: iliano{at}itd.nrl.navy.mil 2 Computer Science Department, Carnegie Mellon University, Pittsburgh, PA 15213, USA. E-mail: fp{at}cs.cmu.edu |
| Abstract: | |
| Keywords: | Linear lambda calculus term assignment systems uniform provability. |
| 本文献已被 Oxford 等数据库收录！ | |