Login / Signup

Embedding First-order Logic in a Pure Type System with Parameters.

Twan LaanMichael Franssen
Published in: J. Log. Comput. (2001)
Keyphrases