An approach to theorem proving on the basis of a typed lambda-calculus

    Research output: Book/ReportReportPopular

    212 Downloads (Pure)
    Original languageEnglish
    Place of PublicationEindhoven
    PublisherTechnische Hogeschool Eindhoven
    Number of pages14
    Publication statusPublished - 1980

    Publication series

    NameEindhoven University of Technology : Dept of Mathematics : memorandum
    Volume8001

    Cite this