|
|||||
|
|
Mechanizing Coinduction and Corecursion in Higher-order Logic |
|
| Authors: | Paulson Lawrence C. |
| Affiliation: | Computer Laboratory, University of Cambridge Corn Exchange Street, Cambridge, CB2 3QG, UK. E-mail: Larry.Paulson{at}cl.cam.ac.uk |
| Abstract: | |
| Keywords: | isabelle higher-order logic coinduction corecursion |
| 本文献已被 Oxford 等数据库收录！ | |