Automating Coherent Logic.
Journal article, 2005
Author
Thierry Coquand
University of Gothenburg
Marc Bezem
LPAR 2005
246-260
Subject Categories
Computer Science