A Two-Level Approach towards Lean Proof-Checking (1996)
Cached
Download Links
- [ftp.cs.kun.nl]
- [www.paracas.nl]
- [ftp.cs.chalmers.se]
- DBLP
Other Repositories/Bibliography
by
Gilles Barthe
,
Mark Ruys
,
Henk Barendregt
| Citations: | 14 - 4 self |
Document Versions
| A Two-Level Approach towards Lean Proof-Checking –Gilles Barthe, Mark Ruys, Henk Barendregt — 1996 |
| A Two-Level Approach towards Lean Proof-Checking –G. Barthe, M.P.J. Ruys, H.P. Barendregt — 1996 |
