Connecting a Logical Framework to a First-Order Logic Prover.
Paper in proceedings, 2005

Author

Thierry Coquand

University of Gothenburg

Ulf Norell

Chalmers, Computer Science and Engineering (Chalmers), Computing Science (Chalmers)

FroCos 2005

285-301

Subject Categories

Computer Science

More information

Created

10/7/2017