Login / Signup
Uniform provability realization of intuitionistic logic, modality and lambda-terms.
Sergei N. Artëmov
Published in:
Electron. Notes Theor. Comput. Sci. (1999)
Keyphrases
</>
intuitionistic logic
database
artificial intelligence
linear logic