Automating Coherent Logic.
Journal article, 2005

Author

Thierry Coquand

University of Gothenburg

Marc Bezem

LPAR 2005

246-260

Subject Categories

Computer Science

More information

Created

10/10/2017