Fingerprint
Dive into the research topics of 'Embedding first-order logic in a pure type system with parameters'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
Embedding first-order logic in a pure type system with parameters
T.D.L. Laan, M.G.J. Franssen
Research output: Contribution to journal › Article › Academic › peer-review