|
|||||
|
|
Theorem proving for untyped constructive {lambda}-calculus: implementation and application |
|
| Authors: | Ramsay A |
| Affiliation: | Department of Computation, UMIST, PO Box 88, Manchester M60 1QD, UK E-mail: Allan. Ramsay@umist.ac.uk |
| Abstract: | |
| Keywords: | higher order logic model generation |
| 本文献已被 Oxford 等数据库收录！ | |