Search Results - "Logic and constraint programming"

  • Showing 1 - 1 results of 1
Refine Results
  1. 1
    Cover Image

    A Framework for Defining Logical Frameworks by Honsell, Furio, Lenisa, Marina, Liquori, Luigi

    ISSN: 1571-0661, 1571-0661
    Published: Elsevier B.V 01.04.2007
    “…In this paper, we introduce a General Logical Framework, called GLF, for defining Logical Frameworks, based on dependent types, in the style of the well known…”
    Get full text
    Journal Article
    Save to List
    Saved in:

Search Tools: