Higher-order logic

From Scholarpedia
Jump to: navigation, search

    Suggested co-authors:

    • Name: Dr. Tobias Nipkow
    • Email: nipkow@in.tum.de
    • Affiliation: tum.de
    • Comments: co-authored Isabelle for higher-order logic, editor in chief of JAR
    • Suggested by: User:Mokhov

    • Name: Dr. Lawrence Paulson
    • Email: lp15@cam.ac.uk
    • Affiliation: cam.ac.uk
    • Comments: co-authored Isabelle, etc.
    • Suggested by: User:Mokhov
    Personal tools
    Namespaces

    Variants
    Actions
    Navigation
    Focal areas
    Activity
    Tools