An Interactive Theorem Prover for Linear Logic

Reference:

Juha-Pekka Patinen. An interactive theorem prover for linear logic. Master's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Digital Systems Laboratory, 1993.

Suggested BibTeX entry:

@mastersthesis{PatinenMsc,
    author = {Patinen, Juha-Pekka},
    school = {Helsinki University of Technology, Department of Computer Science and Engineering, Digital Systems Laboratory},
    title = {An Interactive Theorem Prover for Linear Logic},
    year = {1993},
}