Skip to main navigation Skip to search Skip to main content

Non well-foundedness and type freeness can unify the interpretation of functional application

  • F. Kamareddine

    Research output: Book/Report › Report › Academic

    165 Downloads (Pure)
    Original languageEnglish
    Place of PublicationEindhoven
    PublisherTechnische Universiteit Eindhoven
    Number of pages16
    Publication statusPublished - 1992

    Publication series

    NameComputing science notes
    Volume9221

    Access to Document

    • 9226720Final published version, 603 KB

      Cite this