From semantics to rules: A machine assisted analysis (1999)
Cached
Download Links
- [www.cs.chalmers.se]
- [ftp.cs.chalmers.se]
- DBLP
Other Repositories/Bibliography
by
Catarina Coquand
| Venue: | Proceedings of CSL '93, LNCS 832 |
| Citations: | 29 - 0 self |
BibTeX
@INPROCEEDINGS{Coquand99fromsemantics,
author = {Catarina Coquand},
title = {From semantics to rules: A machine assisted analysis},
booktitle = {Proceedings of CSL '93, LNCS 832},
year = {1999},
pages = {91--105},
publisher = {Springer-Verlag}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
this paper is similar to the one in [2]. In this paper they define a normalization function for simply typed
