Division of Informatics
Forrest Hill & 80 South Bridge
| PP867 | 1994 Paper in Conference Proceedings | Negere,S; Smaill,AD |
|---|---|---|
| Guiding Proof Search in Logical Frameworks with Rippling | ||
| PP7 | 1991 Paper in Conference Proceedings | Basin,D; Howe,D |
| Some Normalization Properties of Martin-Lof's Type Theory and Applications | ||
| PP147 | 1992 Paper in Conference Proceedings | Horn,C; Smaill,AD |
| Theorem Proving and Program Synthesis with OYSTER | ||
![[Search These Pages]](http://www.dai.ed.ac.uk/icons/dai_search.gif){kind=icon}
![[DAI Home Page]](http://www.dai.ed.ac.uk/icons/dai_home.gif){kind=icon}
![[Comment]](http://www.dai.ed.ac.uk/icons/dai_comment.gif){kind=icon}