| Copyright | (c) Kristina Sojakova, DFKI Bremen 2009 |
|---|---|
| License | GPLv2 or higher, see LICENSE.txt |
| Maintainer | k.sojakova@jacobs-university.de |
| Stability | experimental |
| Portability | portable |
| Safe Haskell | None |
Comorphisms.DFOL2CASL
Description
Ref: K. Sojakova and F. Rabe. Translating a Dependently-Typed Logic to First-Order Logic. LNCS 2009, pages 326-341.