Suchergebnisse - "Formal Definitions and Theory: Syntax and Semantics"

  • Treffer 1 - 1 von 1
Treffer weiter einschränken
  1. 1
    Buchumschlag

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

    ISSN: 1571-0661, 1571-0661
    Veröffentlicht: Elsevier B.V 01.04.2007
    Veröffentlicht in Electronic notes in theoretical computer science (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 …”
    Volltext
    Journal Article
    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: