Home
Papers
Wiki
Members
Projects
Talks
Systems
Other Aspects
GPD Login
@unpublished{HermantLipton07,author = {O.~Hermant and J.~Lipton},note = {in preparation},title = {Cut Elimination and Semantics of Higher-Order Logic Modulo},projects = {MERIT,PROMESAS},butype = {misc},year = {2007}}