Login / Signup

Nuprl as Logical Framework for Automating Proofs in Category Theory.

Christoph Kreitz
Published in: Logic and Program Semantics (2012)
Keyphrases