LinearOne

Software English OPEN
Moot, Richard;
(2016)
  • Publisher: HAL CCSD
  • Subject: [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO] | Linear logic | Type-logical grammar | [INFO.INFO-CL]Computer Science [cs]/Computation and Language [cs.CL]
    acm: TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES | TheoryofComputation_LOGICSANDMEANINGSOFPROGRAMS
    arxiv: Mathematics::General Mathematics | Computer Science::Logic in Computer Science | Computer Science::Mathematical Software | Mathematics::Logic

LinearOne is a prototype theorem prover for first-order (multiplicative, intuitionistic) linear logic.
Share - Bookmark