Now showing items 1-1 of 1

  • Adequate encodings of logical systems in UTT 

    Mylonakis Pascual, Nicolás (2003-03-02)
    External research report
    Open Access
    In this paper, we present an existing and formalized type theory (UTT) as a logical framework. We compare the resulting framework with LF and give the representation of two significant type systems in the framework: ...